3938 search results - page 210 / 788 » Interactive Protocols on the Reals |
132
click to vote
COORDINATION
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
119
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—In typical home power-line communication (PLC) networks using contention-based access methods, providing Quality-of-service (QoS) to high-priority users often comes at the expen...
131
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
170
Voted
MOBICOM
2005
ACM
15 years 10 months ago
2005
ACM
Recent advances in wireless inter-vehicle communication systems enable the development of Vehicular Ad-Hoc Networks (VANET) and create significant opportunities for the deploymen...
140
Voted
IDMS
1999
Springer
15 years 9 months ago
1999
Springer
This paper shows the use of protocols dynamically generated for a particular network environment and an application’s requirements. We have developed a novel system called PNUT (...