2947 search results - page 35 / 590 » The timely token protocol |
MSN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we propose an overlapping communication protocol using improved time-slot leasing in the Bluetooth WPANS. One or many slave-master-slave communications usu...
108
click to vote
CCS
1998
ACM
15 years 4 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
102
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
126
click to vote
ICMCS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present a general framework for the transmission of interactive media with real-time characteristics, i.e. media involving user interaction. By identifying and su...
91
Voted
SENSYS
2004
ACM
15 years 5 months ago
2004
ACM
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. Thi...