X-KLAIM and KLAVA programming mobile code

Electronic Notes in Theoretical Computer Science

Volumn 62, Issue , 2002, Pages 24-37

  Bettini, Lorenzo ^a   De Nicola, Rocco ^a   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED APPLICATIONS; KERNAL LANGUAGE FOR AGENT INTERACTION AND MOBILITY (KLAIM); NETWORK-AWARE PROGRAMMING; RUN-TIME SYSTEMS;

COMPUTER APPLICATIONS; COMPUTER NETWORKS; DATA REDUCTION; DISTRIBUTED COMPUTER SYSTEMS; ITERATIVE METHODS; JAVA PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING;

EID: 19144371943     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00317-2     Document Type: Conference Paper

References (25)

1. Acharya A., M. Ranganathan and J. Saltz, Sumatra: A Language for Resourceaware Mobile Programs, in: Vitek and Tschudin [24], pp. 111-130.
2. Arnold K., Freeman E., Hupfer S. "JavaSpaces Principles, Patterns and Practice," 1999;Addison-Wesley
3. Arnold K., Gosling J., Holmes D. "The Java Programming Language," 3rd edition :2000;Addison-Wesley
4. Bettini L., "Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile," Master's thesis, Dip. di Sistemi e Informatica, Univ. di Firenze (1998).
5. Bettini L. and R. De Nicola, Translating Strong Mobility into Weak Mobility, in: Proc. of the Fifth IEEE Int. Conf. on Mobile Agents (MA 2001), 2001, to appear.
6. Bettini L., R. De Nicola, G. Ferrari and R. Pugliese, Interactive Mobile Agents in X-Klaim, in: P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (1998), pp. 110-115.
7. Bettini L., R. De Nicola and R. Pugliese, Klava: a Java Framework for Distributed and Mobile Applications, Tech. Report, Dip. Sistemi e Informatica, Univ. di Firenze (2001), available at http://music.dsi.unifi.it/papers.html.
8. Bettini L., M. Loreti and R. Pugliese, Structured Nets in Klaim, in: Proc. of ACM SAC 2000, Special Track on Coordination Models, Languages and Applications (2000), pp. 174-180.
9. Bettini L., M. Loreti and R. Pugliese, Modelling Node Connectivity in Dynamically Evolving Networks, in: Proc. of CONCOORD, Int. Workshop on Concurrency and Coordination, ENTCS 54, 2001.
10. Bettini L., M. Loreti and R. Pugliese, An Infrastructure Language for Open Nets, in: Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications, 2002, to appear.
11. Cardelli L., Mobile computation, in: Vitek and Tschudin [24], pp. 3-6.
12. Carzaniga A., G. Picco and G. Vigna, Designing Distributed Applications with Mobile Code Paradigms, in: R. Taylor, editor, Proc. of the 19th Int. Conf. on Software Engineering (ICSE '97) (1997), pp. 22-33.
13. Cugola G., C. Ghezzi, G. Picco and G. Vigna, Analyzing Mobile Code Languages, in: Vitek and Tschudin [24].
14. De Nicola R., Ferrari G., Pugliese R. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering. 24:1998;315-330
15. De Nicola R., Ferrari G., Pugliese R. Types as Specifications of Access Policies. Vitek J., Jensen C. Secure Internet Programming: Security Issues for Distributed and Mobile Objects, number 1603 in LNCS. 1999;117-146
16. De Nicola R., Ferrari G., Pugliese R., Venneri B. Types for Access Control. Theoretical Computer Science. 240:2000;215-254
17. De Nicola, R. and M. Loreti, A Modal Logic for Klaim, in: T. Rus, editor, Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000, number 1816 in LNCS (2000), pp. 339-354.
18. Gelernter D. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems. 7:1985;80-112
19. Gong L. "Inside Java 2 platform security: architecture, API design, and implementation," 1999;Addison-Wesley, Reading, MA, USA
20. Hohlfeld M. and B. Yee, How to Migrate Agents (1998), available at http://www.cs.ucsd.edu/~bsy.
21. Lange D., Oshima M. "Programming and Deploying Java Mobile Agents with Aglets," 1998;Addison-Wesley
22. Park A. and P. Reichl, Personal Disconnected Operations with Mobile Agents, in: Proc. of 3rd Workshop on Personal Wireless Communications, PWC'98, Tokyo, 1998.
23. Thorn T., Programming Languages for Mobile Code, ACM Computing Surveys 29 (1997), pp. 213-239, also Technical Report 1083, University of Rennes IRISA.
24. Vitek J., Tschudin C. "Mobile Object Systems - Towards the Programmable Internet," 1997;Springer
25. White, J. E., Mobile Agents, in: J. Bradshaw, editor, Software Agents (1996)