Sciweavers

2947 search results - page 35 / 590
» The timely token protocol
Sort
View
MSN
2005
Springer
15 years 10 months ago
An Overlapping Communication Protocol Using Improved Time-Slot Leasing for Bluetooth WPANs
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...
Yuh-Shyan Chen, Yun-Wei Lin, Chih-Yung Chang
CCS
1998
ACM
15 years 8 months ago
A Probabilistic Poly-Time Framework for Protocol Analysis
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...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
IPPS
2008
IEEE
15 years 11 months ago
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude
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...
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue...
174
Voted
ICMCS
1999
IEEE
98views Multimedia» more  ICMCS 1999»
15 years 8 months ago
A General Framework and Communication Protocol for the Transmission of Interactive Media with Real-Time Characteristics
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...
Martin Mauve, Volker Hilt, Christoph Kuhmünch...
SENSYS
2004
ACM
15 years 10 months ago
The flooding time synchronization protocol
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. Thi...
Miklós Maróti, Branislav Kusy, Gyula...