440 search results - page 69 / 88 » A Temporal Calculus of Communicating Systems |
JUCS
2008
13 years 7 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
NOSSDAV
2009
Springer
14 years 1 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...
ICCCN
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Previous work has shown that CSMA-based protocols such as the IEEE 802.11 can yield flow starvation in multihop wireless networks. While prior protocol designs alleviat...
DEBU
2002
13 years 7 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
INFOCOM
2012
IEEE
11 years 9 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...