3938 search results - page 210 / 788 » Interactive Protocols on the Reals |
172
click to vote
COORDINATION
2010
Springer
15 years 4 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...
146
click to vote
ICC
2009
IEEE
16 years 1 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...
163
click to vote
ESORICS
2007
Springer
16 years 21 days 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...
213
click to vote
MOBICOM
2005
ACM
16 years 3 days 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...
174
click to vote
IDMS
1999
Springer
15 years 10 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 (...