Bigraphical models of context-aware systems

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

Volumn 3921 LNCS, Issue , 2006, Pages 187-201

  Birkedal, L ^a   Debois, S ^a   Elsborg, E ^a   Hildebrandt, T ^a   Niss, H ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; EQUIVALENCE CLASSES; GRAPH THEORY; INFORMATION RETRIEVAL; MATHEMATICAL MODELS;

BIGRAPHICAL REACTIVE SYSTEMS; CONTEXT-AWARE SYSTEMS; PLATO-GRAPHICAL MODELS; UBIQUITOUS COMPUTING;

CONTEXT SENSITIVE GRAMMARS;

EID: 33745772130     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_13     Document Type: Conference Paper

References (28)

1. M. Addlesee, R. Curwen, S. Hodges, J. Newman, P. Steggles, A. Ward, and A. Hopper. Implementing a sentient computing system. IEEE Computer, 2001.
2. C. Becker and F. Dürr. On location models for ubiquitous computing. Personal and Ubiquitous Computing, 9:20-31, 2005. Springer.
3. L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss. Bigraphical Models of Context-aware Systems. Technical Report 74, IT Univ. of Copenhagen, 2005.
4. P. Braione and G. P. Picco. On calculi for context-aware coordination. In Proc. of COORDINATION'04, vol. 2949 of LNCS, pages 38-54. 2004.
5. M. Bundgaard and T. Hildebrandt. Bigraphical semantics of higher-order mobile embedded resources with local names. In Proc. of GT-VC'05, 2005.
6. G. Conforti, D. Macedonio, and V. Sassone. Spatial Logics for Bigraphs. In Proc. of ICALP'05, vol. 3580 of LNCS, pages 766-778. 2005.
7. T. C. Damgaard and L. Birkedal. Axiomatizing binding bigraphs (revised). Technical Report TR-2005-71, IT University of Copenhagen, 2005.
8. R. De Nicola, D. Gorla, and R. Pugliese. Basic observables for a calculus for global computing. In Proc. of ICALP'05, volume 3580 of LNCS, pages 1226-1238. Springer, 2005.
9. S. Debois and T. C. Damgaard. Bigraphs by Example. Technical Report TR-2005-61, IT University of Copenhagen, March 2005.
10. A. K. Dey and G. D. Abowd. Towards a better understanding of context and context-awareness. In Workshop on The What, Who, Where, When, and How of Context-Awareness, 2000.
11. M. Hennessy. Context-awareness: Models and analysis. Talk at 2nd UK-UbiNet Workshop, 2004.
12. K. Henricksen, J. Indulska, and A. Rakotonirainy. Modeling context information in pervasive computing systems. In Proc. of Pervasive '02, vol. 2414 of LNCS, 2002.
13. O. H Jensen. Mobile Processes in Bigraphs. PhD thesis, 2005. Forthcoming.
14. O. H. Jensen and R. Milner. Bigraphs and Transitions. In Proc. of POPL'03, 2003.
15. O. H. Jensen and R. Milner. Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge, 2004.
16. J. J. Leifer and R. Milner. Deriving bisimulation congruences for reactive systems. In Proc. of CONCUR'00, 2000.
17. R. Milner. Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge, 2004.
18. R. Milner. Bigraphs for Petri Nets. In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, vol. 3098 of LNCS, 2004.
19. R. Milner. Bigraphs whose names have multiple locality. Technical Report UCAM-CL-TR-603, 2004.
20. R. Milner. Bigraphs: A tutorial. Slides, April 2005. Available at http:// www.cl.cam.ac.uk/users/rm135/bigraphs-tutorial.pdf.
21. Robin Milner. Pure bigraphs: Structure and dynamics. To appear in Information and Computation, 2005.
22. B. C. Pierce and D. N. Turner. Pict: A prog. lang. based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of R. Milner, MIT, 2000.
23. Plato. The republic, book vii, 360 B.C. Translation by Benjamin Jowett.
24. J H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
25. G.-C. Roman, C. Julien, and J. Payton. A formal treatment of context-awareness. In Proc. of FASE'04, vol. 2984 of LNCS, 2004.
26. B. Schilit, N. Adams, and R. Want. Context-aware computing applications. In Proc. of IEEE Workshop on Mobile Computing Systems and Applications, 1994.
27. A. Schmidt, M. Beigl, and H.-W. Gellersen. There is more to context than location. Computers & Graphics Journal, 1999.
28. M. Weiser. Hot topics - ubiquitous computing. IEEE Computer, 1993.