Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Stepwise refinement of parallel algorithms
Science of Computer Programming
Disconnected operation in the Coda File System
ACM Transactions on Computer Systems (TOCS)
Supporting Fault-Tolerant Parallel Programming in Linda
IEEE Transactions on Parallel and Distributed Systems
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the 21st international conference on Software engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hitting the distributed computing sweet spot with TSpaces
Computer Networks: The International Journal of Computer and Telecommunications Networking - pervasive computing
Coordination of Internet agents
Consistent group membership in ad hoc networks
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
XMIDDLE: A Data-Sharing Middleware for Mobile Computing
Wireless Personal Communications: An International Journal
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments
WICSA 3 Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Peer-to-Peer for Collaborative Applications
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
STEAM: Event-Based Middleware for Wireless Ad Hoc Network
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Service Provision in Ad Hoc Networks
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
µCODE: A Lightweight and Flexible Mobile Code Toolkit
MA '98 Proceedings of the Second International Workshop on Mobile Agents
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Human-Computer Interaction
A proactive middleware platform for mobile computing
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
A middleware service for mobile ad hoc data sharing, enhancing data availability
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Mobile data collection in sensor networks: The TinyLime middleware
Pervasive and Mobile Computing
Using LIME to support replication for availability in mobile ad hoc networks
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
TeenyLIME: transiently shared tuple space middleware for wireless sensor networks
Proceedings of the international workshop on Middleware for sensor networks
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Pervasive games in a mote-enabled virtual world using tuple space middleware
NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
On impact-oriented automatic resolution of pervasive context inconsistency
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Resource discovery with evolving tuples
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
On impact-oriented automatic resolution of pervasive context inconsistency
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
Proceedings of the 2008 ACM symposium on Applied computing
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
A self-organizing group management middleware for mobile ad-hoc networks
Computer Communications
Execution coordination in mobile agent-based distributed job workflow execution
Journal of Systems Architecture: the EUROMICRO Journal
The managed motorway: real-time vehicle scheduling: a research agenda
Proceedings of the 9th workshop on Mobile computing systems and applications
On the Use of Symbolic Data Analysis to Model Communication Environments
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Multisensor message exchange mechanism
International Journal of Electronic Security and Digital Forensics
Field-Based Coordination for Pervasive Computing Applications
Bio-Inspired Computing and Communication
Novel directory service and message delivery mechanism enabling scalable mobile agent communication
Mobile Information Systems
Programming wireless sensor networks with the TeenyLime middleware
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Situated tuple centres in ReSpecT
Proceedings of the 2009 ACM symposium on Applied Computing
Programming pervasive and mobile computing applications: The TOTA approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Programming in mobile ad hoc networks
Proceedings of the 4th Annual International Conference on Wireless Internet
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Enabling the European Patient Summary through triplespaces
Computer Methods and Programs in Biomedicine
Using S2P for routing awareness in tuple-based pervasive systems
International Journal of Internet Protocol Technology
TMACS: type-based distributed middleware for mobile ad-hoc networks
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks
Journal of Network and Computer Applications
Design and evaluation of lightweight middleware for personal wireless body area network
Personal and Ubiquitous Computing
Towards Zero-Delay Recovery of Agents in Production Automation Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Context information provisioning in tuple spaces
Proceedings of the 6th Middleware Doctoral Symposium
Autonomic Application-Level Message Delivery Using Virtual Magnetic Fields
Journal of Network and Systems Management
Requirements for routing in the application layer
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Context-aware publish subscribe in mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Addressing mobile phone diversity in ubicomp experience development
UbiComp '07 Proceedings of the 9th international conference on Ubiquitous computing
Programming wireless sensor networks with the TeenyLIME middleware
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Rapid prototyping of routing protocols with evolving tuples
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
An S2P-based resource discovery mechanism for tuple-based pervasive systems
International Journal of Autonomous and Adaptive Communications Systems
Communication and coordination support in ad hoc networks for emergency management scenarios
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Atomic mobile agent group communication
CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
PicOS tuples: easing event based programming in tiny pervasive systems
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Towards an architecture for runtime interoperability
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
A coordination middleware for orchestrating heterogeneous distributed systems
GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
Middleware support for internetware: a service perspective
Proceedings of the Second Asia-Pacific Symposium on Internetware
Self-organising pervasive ecosystems: a crowd evacuation example
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
SLIM: Mmap from the cloud to device, and back
Proceedings of the Second Asia-Pacific Workshop on Systems
MoCoA: customisable middleware for context-aware mobile applications
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Computer Networks: The International Journal of Computer and Telecommunications Networking
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Using LIME to support replication for availability in mobile ad hoc networks
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Data driven language for agents secure interaction
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A middleware to integrate robots, simple devices and everyday objects into an ambient ecology
Pervasive and Mobile Computing
REED: Flexible rule based programming of wireless sensor networks at runtime
Computer Networks: The International Journal of Computer and Telecommunications Networking
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Science of Computer Programming
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
IDEA: improving dependability for self-adaptive applications
Proceedings of the 2013 Middleware Doctoral Symposium
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.00 |
LIME (Linda in a mobile environment) is a model and middleware supporting the development of applications that exhibit the physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the Linda model. The context for computation, represented in Linda by a globally accessible persistent tuple space, is refined in LIME to transient sharing of the identically named tuple spaces carried by individual mobile units. Tuple spaces are also extended with a notion of location and programs are given the ability to react to specified states. The resulting model provides a minimalist set of abstractions that facilitates the rapid and dependable development of mobile applications. In this article we illustrate the model underlying LIME, provide a formal semantic characterization for the operations it makes available to the application developer, present its current design and implementation, and discuss lessons learned in developing applications that involve physical mobility.