672 search results - page 21 / 135 » Analysis and applications of timed service protocols |
INFOCOM
1998
IEEE
14 years 1 months ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
ATAL
2009
Springer
14 years 7 days ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
SIGMETRICS
2002
ACM
13 years 8 months ago
2002
ACM
Recently proposed scalable on-demand streaming protocols have previously been evaluated using a system cost measure termed the "required server bandwidth". For the scala...
LCN
2003
IEEE
14 years 2 months ago
2003
IEEE
Recently, IEEE 802.11 wireless networks have been widely deployed in public areas for mobile Internet services. In the public wireless LAN systems, paging function is necessary to...
FM
2009
Springer
14 years 1 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...