Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Semini L. Modelling mobile applications. In: Ercim News, vol. 36 pp. 27 - 28. 1999.
There has been growing interest in wide-area distributed applications in recent years. A key concept for structuring such applications is represented by mobile agents, units of executing code that can migrate between sites.
Subject Modelling specifications
D.2.4 Software/Program Verification. Formal methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional