9821 search results - page 264 / 1965 » A Framework for the Development of Protocols |
192
Voted
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose a contention based reservation MAC protocol for a collaborative sensing scenario involving a set of surveillance UAVs communicating with a hub. Data transmission rig...
163
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
171
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
187
Voted
FGCN
2008
IEEE
15 years 8 months ago
2008
IEEE
Vehicular network became one of the most active and emerging fields of research during last decade. Its use in diversified applications (for example safe driving, congestion avoid...
177
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we apply the auction-based theories in economics to camera networks. We develop a set of auction protocols to do camera active control (pan/tilt/zoom) intelligently...