440 search results - page 55 / 88 » A Temporal Calculus of Communicating Systems |
ISCC
2007
IEEE
14 years 1 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, we propose a power optimal opportunistic scheduling scheme for a multiuser single hop Time Division Multiple Access (TDMA) system. We formulate the probl...
WWW
2006
ACM
14 years 1 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
TCAD
2008
13 years 7 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...