3483 search results - page 5 / 697 » Forward |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
—Providing efficient and reliable communication in wireless sensor networks is a challenging problem. To recover from corrupted packets, previous approaches have tried to use re...
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
We present a prefix forwarding algorithm for content-based publish/subscribe systems. Our algorithm performs only one content-based match per message regardless of the number of r...
IJNSEC
2008
14 years 9 months ago
2008
For an identity-based authenticated key agreement (IDAK) protocol, PKG forward secrecy is the strongest notion of forward secrecy, which is about the security of previously establ...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
—This paper proposes a relaying strategy for the multiple-relay network in which each relay decodes a selection of transmitted messages by other transmitting terminals, and forwa...