Provably correct pervasive computing environments

6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008

Volumn , Issue , 2008, Pages 160-169

  Ranganathan, Anand ^a   Campbell, Roy H ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AMBIENT CALCULUS; AMBIENT LOGIC; CASE STUDIES; CONTEXT-AWARE; FORMAL MODELING; INTERNATIONAL CONFERENCES; PERVASIVE COMPUTING; PERVASIVE COMPUTING ENVIRONMENTS;

COMPUTER SOFTWARE; DIFFERENTIATION (CALCULUS); ERROR ANALYSIS; MATHEMATICAL TECHNIQUES; MIDDLEWARE;

COMPUTER SYSTEMS;

EID: 49149114480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PERCOM.2008.116     Document Type: Conference Paper

References (9)

1. J. Al-Muhtadi, A. Ranganathan, R. H. Campbell, and D. Mickunas. Cerberus: A context-aware security scheme for smart spaces. In IEEE International Conference on Pervasive Computing and Communications (PerCom 2003), Dallas-Fort Worth, March 2003.
2. L. Birkedal, M. Bundgaard, T. C. Damgaard, S. Debois, E. Elsborg, A. J. Glenstrup, T. Hildebrandt, R. Milner, and H. Niss. Bigraphical programming languages for pervasive computing. In International Workshop on Combining Theory and Systems Building in Pervasive Computing, part of PERVASIVE 2006, 2006.
3. L. Cardelli and A. Gordon. Anytime, anywhere modal logics for mobile ambients. In 27th ACM Symposium on Principles of Programming Languages, 2000.
4. L. Cardelli and A. D. Gordon. Ambient logic. Mathematical Structures in Computer Science.
5. L. Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination, 240(1): 177-213, June 2000.
6. W. Charatonik and J.-M. Talbot. The decidability of model checking mobile ambients. In 15th Annual Conference of the European Association for Computer Science Logic, 2001.
7. W. Charatonik, S. D. Zilio, A. Gordon, S. Mukhopadhyay, and J.-M. Talbot. The complexity of model checking mobile ambients. In Foundations of Software Science and Computation Structures (FOSSACS'01), 2001.
8. M. Roman, C. K. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, and K. Narhstedt. Gaia: A middleware infrastructure to enable active spaces. IEEE Pervasive Computing Magazine, 1:74-83, 2002.
9. T. Weis, C. Becker, and A. Brandle. Towards a programming paradigm for pervasive applications based on the ambient calculus. In International Workshop on Combining Theory and Systems Building in Pervasive Computing, part of PERVASIVE 2006, 2006.