440 search results - page 74 / 88 » A Temporal Calculus of Communicating Systems |
ENTCS
2006
13 years 6 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
ENTCS
2007
13 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
MMS
2007
13 years 6 months ago
2007
In this paper, we develop a theoretical understanding of multi-sensory knowledge and user context and their interrelationships. This is used to develop a generic representation fr...
PERVASIVE
2010
Springer
14 years 1 months ago
2010
Springer
Mobile phones have evolved from devices that are just used for voice and text communication to platforms that are able to capture and transmit a range of data types (image, audio, ...
EDOC
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper considers distributed applications where interactions between constituent services take place via messages in an asynchronous environment with unpredictable communicatio...