365 search results - page 35 / 73 » Liveness in Timed and Untimed Systems |
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—Body sensor networks (BSNs) have been developed for a set of performance-critical applications, including smart healthcare, assisted living, emergency response, athletic perform...
ICMCS
2000
IEEE
14 years 2 months ago
2000
IEEE
A delay of about 100 ms gives human communicators the feeling of live interaction. Since in a global network the propagation delay alone is about 100 ms, every other delay compone...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
INFOCOM
2012
IEEE
12 years 10 days ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
Publication
A key challenge faced by peer-to-peer(P2P) video-on- demand (VoD) systems is their ability, or lack thereof, to provide DVD-like functionality, such as pause, forward and backward ...