Sciweavers

1186 search results - page 104 / 238
» Goal-Oriented Interaction Protocols
Sort
View
PERCOM
2004
ACM
14 years 9 months ago
Towards Scalable P2P Computing for Mobile Ad Hoc Networks
In mobile ad hoc networks, nodes interact peer-to-peer. They self-organize, share workloads and provide services that they also use. There are middleware platforms, designed for t...
Marco Conti, Enrico Gregori, Giovanni Turi
FOSSACS
2010
Springer
14 years 4 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
ICC
2007
IEEE
134views Communications» more  ICC 2007»
14 years 4 months ago
Joint On-Demand Routing and Spectrum Assignment in Cognitive Radio Networks
— In Cognitive Radio Networks, nodes can work on different frequency bands. Existing routing proposals help nodes select frequency bands without considering the effect of band sw...
Geng Cheng, Wei Liu, Yunzhao Li, Wenqing Cheng
FOCS
2002
IEEE
14 years 3 months ago
Concurrent Zero Knowledge with Logarithmic Round-Complexity
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
Manoj Prabhakaran, Alon Rosen, Amit Sahai
ATAL
2007
Springer
14 years 2 months ago
Joint conversation specification and compliance
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
Shamimabi Paurobally, Michael Wooldridge