Adaptive applications for mobile heterogenous devices

Proceedings - International Conference on Distributed Computing Systems

Volumn 2002-January, Issue , 2002, Pages 410-413

  Inverardi, P ^a   Marinelli, G ^a   Mancinelli, F ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS DEVICES; ADAPTIVE APPLICATION; APPLICATION REQUIREMENTS; CELLULAR PHONE; DEVICE CAPABILITIES; DEVICE CHARACTERISTICS; NOCV1; REMOTE SERVERS; SPECIFIC HARDWARE;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84994351551     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2002.1030805     Document Type: Conference Paper

References (16)

1. P. L. Al. J2me™ architecture and related embedded technologies.
2. R. Burstall and P. Landin. Programs and their proofs: an algebraic approach, 1969.
3. C. Colby, P. Lee, G. C. Necula, F. Blau, M. Plesko, and K. Cline. A certifying compiler for Java. In Proceedings of the Conference on Programming Language Design and Implementation, pages 95-107, Vancouver, Canada, June 2000. ACM Press.
4. R. Floyd. Assigning meanings to programs, 1967.
5. K. B. Kib. Virtual machines for limited devices.
6. G. Marinelli. Applicazioni di tecniche di proof-carrying code, 2002.
7. G. C. Necula. Proof-carrying code. In N. D. Jones, editor, Proceedings of the Symposium on Principles of Programming Languages, pages 106-119, Paris, France, Jan. 1997. ACM Press.
8. G. C. Necula and P. Lee. Proof-carrying code. Technical Report CMU-CS-96-165, School of Computer Science, Carnegie Mellon University, Sept. 1996.
9. G. C. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proceedings of the Symposium on Operating System Design and Implementation, pages 229-243, Seattle, Washington, Oct. 1996.
10. G. C. Necula and P. Lee. Efficient representation and validation of logical proofs. Technical Report CMU-CS-97-172, School of Computer Science, Carnegie Mellon University, Oct. 1997.
11. G. C. Necula and P. Lee. Efficient representation and validation of logical proofs. In V. Pratt, editor, Proceedings of the Symposium on Logic in Computer Science, pages 93-104, Indianapolis, Indiana, June 1998. IEEE Computer Society Press.
12. G. C. Necula and P. Lee. Safe, untrusted agents using proof-carrying code. In G. Vigna, editor, Mobile Agents and Security, pages 61-91. Springer-Verlag LNCS 1419, Aug. 1998.
13. G. C. Necula and P. Lee. Proof generation in the Touch-stone theorem prover. In D. McAllester, editor, Proceedings of the International Conference on Automated Deduction, pages 25-44, Pittsburgh, Pennsylvania, June 2000. Springer-Verlag LNAI 1831.
14. P. Paal. Java 2 platform micro edition.
15. K. W. Paper. Java 2 platform micro edition (j2me™) technology for creating mobile devices. Technical report, 901 San Antonio Road, Palo Alto, CA, May 2000.
16. M. Plesko and F. Pfenning. A formalization of the proof-carrying code architecture in a linear logical framework. In A. Pnueli and P. Traverso, editors, Proceedings of the FLoC Workshop on Run-Time Result Verification, Trento, Italy, July 1999.