Location-Awareness with Action Systems

[1]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[2]  Amy L. Murphy,et al.  LIME: a middleware for physical and logical mobility , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[3]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[4]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.

[5]  Kaisa Sere,et al.  An Approach to Object-Orientation in Action Systems , 1998, MPC.

[6]  Kaisa Sere,et al.  From Action Systems to Modular Systems , 1994, Softw. Concepts Tools.

[7]  Gruia-Catalin Roman,et al.  A Notation and Logic for Mobile Computing , 2002, Formal Methods Syst. Des..

[8]  Kay Römer,et al.  The design space of wireless sensor networks , 2004, IEEE Wireless Communications.

[9]  Tsenka Stoyanova,et al.  Evaluation of impact factors on RSS accuracy for localization and tracking applications in sensor networks , 2009, Telecommun. Syst..

[10]  Deborah Estrin,et al.  Guest Editors' Introduction: Overview of Sensor Networks , 2004, Computer.

[11]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[12]  Lu Yan,et al.  A Formal Model of Context-Awareness and Context-Dependency , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[13]  Stephan Merz,et al.  Specification and refinement of mobile systems in MTLA and mobile UML , 2006, Theor. Comput. Sci..

[14]  Wei Cheng,et al.  3D Underwater Sensor Network Localization , 2009, IEEE Transactions on Mobile Computing.

[15]  Klara Nahrstedt,et al.  A Middleware Infrastructure for Active Spaces , 2002, IEEE Pervasive Comput..

[16]  Cecilia Mascolo,et al.  Reconfigurable Component-based Middleware for Networked Embedded Systems , 2007, Int. J. Wirel. Inf. Networks.

[17]  Mani Srivastava,et al.  Overview of sensor networks , 2004 .

[18]  Christine Julien,et al.  EgoSpaces: facilitating rapid development of context-aware mobile applications , 2006, IEEE Transactions on Software Engineering.

[19]  Cliff B. Jones,et al.  RODIN (Rigorous Open Development Environment for Complex Systems) , 2005 .

[20]  Kaisa Sere,et al.  A Language for Modeling Network Availability , 2006, ICFEM.

[21]  Kaisa Sere,et al.  Superposition refinement of reactive systems , 2005, Formal Aspects of Computing.

[22]  Luís Soares Barbosa,et al.  An Orchestrator for Dynamic Interconnection of Software Components , 2007, CoOrg/MTCoord@COORDINATION.

[23]  Dieter Fritsch,et al.  POSITIONING AND DATA MANAGEMENT CONCEPTS FOR LOCATION AWARE APPLICATIONS , 2001 .

[24]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[25]  Michael Rohs,et al.  Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing , 2005, Ambient Intelligence.

[26]  Luca Cardelli,et al.  Anytime, anywhere: modal logics for mobile ambients , 2000, POPL '00.