1186 search results - page 211 / 238 » Goal-Oriented Interaction Protocols |
TIT
2010
13 years 5 months ago
2010
We study cellular-like wireless networks in which the cells may overlap substantially, and a common channel is used for all cells. Thus, transmissions intended for one destination ...
INFOCOM
2011
IEEE
13 years 2 months ago
2011
IEEE
– Mobile social networks extend social networks in the cyberspace into the real world by allowing mobile users to discover and interact with existing and potential friends who ha...
FASE
2011
Springer
13 years 2 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
JOC
2011
13 years 1 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...