7992 search results - page 221 / 1599 » Communication Abstractions for Distributed Systems |
COORDINATION
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
WISTP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...
SEUS
2008
IEEE
14 years 5 months ago
2008
IEEE
The computing systems are becoming deeply embedded into ordinary life and interact with physical processes and events. They monitor the physical world with sensors and provide app...
GI
2001
Springer
14 years 3 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...