3938 search results - page 515 / 788 » Interactive Protocols on the Reals |
194
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Establishing trust between a group of individuals remains a difficult problem. Prior works assume trusted infrastructure, require an individual to trust unknown entities, or provi...
330
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
183
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
237
click to vote
INTERSENSE
2006
ACM
16 years 22 days ago
2006
ACM
— Mobile Ad-hoc Networks (MANETs) are seen as an essential technology to support future Pervasive Computing Scenarios and 4G networks. In a MANET, efficient support of multipoint...
205
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
HTTP provides a mechanism to connect web sites. Almost all sites have a large amount of hypertext content that provides connection to other sites in the World Wide Web. The succes...