A contract-based approach of resource-constrained software deployment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2370, Issue , 2002, Pages 15-30

  Le Sommer, Nicolas ^a   Guidec, Frédéric ^a  

^a UNIVERSITÉ DE BRETAGNE SUD   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EXPERIMENTAL PLATFORM; GUARANTEED ACCESS; MOBILE SOFTWARES; NON-FUNCTIONAL REQUIREMENTS; RESOURCE-CONSTRAINED SOFTWARE; SOFTWARE COMPONENT; SOFTWARE DEPLOYMENT; SOFTWARE RESOURCES;

LIFE CYCLE;

EID: 35248813936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45440-3_2     Document Type: Conference Paper

References (17)

1. Godmar Back, Wilson C, Hsieh and Jay Lepreau. Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In The 4th Symposium on Operating Systems Design and Implementation, October 2000.
2. Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.
3. Nataraj Bagaratnan and Steven B. Byrne. Resource Access Control for an Internet UserAgent. In The 3th USENIX Conference on Object-Oriented Technologie and Systems, 1997.
4. Antoine Beugnard, Jean-Marc Jezequel, Noel Plouzeau, and Damien Watkins. Making components contract-aware. In IEEE, editor, Computer, page 38-44. IEEE, June 1999.
5. Grzegorz Czajkowski and Thorsten von Eicken. JRes: a Resource Accounting Interface for Java. In ACM OOPSLA Conference, 1998.
6. David Evans. Policy-Directed Code Safety. PhD thesis, Massachussets Institute of Technology, February 2000.
7. David Evans and Andrew Twyman. Flexible Policy-Directed Code Safety. In IEEE Security and Privacy, May 1999.
8. Fangzhe Chang and Ayal Itzkovitz and Vijay Karamcheti. User-level Resource-constrained Sandboxing. InThe 4 th USENIX Windows Systems Symposium, August 2000.
9. Li Gong. Java Security: Present and Near Future. IEEE Micro 14-19, May 1997.
10. Li Gong and Roland Schemers. Implementing Protection Domains in the Java Development Kit 1.2. In Internet Society Symposium on Network and Distributed System Scurity, March 1998.
11. Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, and Thorsten von Eicken. Implementing Multiple Protection Domains in Java. In USENIX Annual Technical Conference, June 1998.
12. J.-M. Jezequel, D. Deveaux, and Y. Le Traon. Reliable Objects: a Lightweight Approach applied to Java. IEEE Software, 18(4):76-83, July/August 2001.
13. Kihun Kim and Klara Nahrstedt. A Resource Broker Model with Integrated Reservation Scheme. In IEEE International Conference on Multimedia and Expo (II), pages 859-862, 2000.
14. U. Lindqvist, T. Olovsson and E. Jonsson. An Analysis of a Secure System Based on Trusted Components. In Proc. 11th Ann. Conf. Computer Assurance, pages 213-223. IEEE Press, 1996.
15. B. Meyer, C. Mingins, and H. Schmidt. Providing Trusted Components to the Industry. IEEE Computer, pages 104-15, May 1998.
16. Raju Pandey and Brant Hashii. Providing Fine-Grained Access Control for Java Programs. In The 13th Conference on Object-Oriented Programming, ECOOP’99. Springer-Verlag, June 1999.
17. Clemens Szyperski. Component Software:Beyond Object-Oriented Programming. ACM Press, Addison-Wesley, 1998