5 papers:
WCRE-2006-Bodhuin #java #named- PODoJA: Packaging Optimizer for Downloadable Java Applications (TB), pp. 295–296.
QAPL-2006-ZhangH #analysis #formal method #protocol #streaming- Formal Analysis of Streaming Downloading Protocol for System Upgrading (MZ, DVH), pp. 205–224.
EDOC-2000-LingT #internet- Impacts of Download Size to Client-Server Applications being Migrated to the Internet (SkRL, VNT), pp. 226–230.
TRI-Ada-1997-RileyDP #analysis #implementation #verification- An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.
ICSE-1981-BalzerCFLW- Application Downloading (RB, AC, MSF, PEL, DSW), pp. 450–459.
