Mascolo, C.;
(1999)
Specification, analysis, and prototyping of mobile systems.
In:
Proceedings of 21st International Conference on Software Engineering(ICSE-99).
(pp. pp. 724-725).
IEEE Computer Society Press: Los Angeles, California, USA.
![[thumbnail of 4.3_mascolo]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
4.3_mascolo Download (107kB) |
Abstract
Mobile code offers new strategies for the development of systems. I adopt a formal approach to study advantages, limitations, classification, and future trends of mobile code technologies.
| Type: | Proceedings paper |
|---|---|
| Title: | Specification, analysis, and prototyping of mobile systems |
| ISBN: | 1581130740 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://portal.acm.org/citation.cfm?id=302996&coll=... |
| Language: | English |
| Additional information: | ©1999 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| Keywords: | formalization, mobile code, prototyping, verification |
| URI: | https://discovery.ucl.ac.uk/id/eprint/834 |
Downloads since deposit
740Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
