12981 search results - page 2521 / 2597 » Model Checking and Abstraction |
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
140
click to vote
TELETRAFFIC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Renewed interest in ALOHA-based Medium Access Control (MAC) protocols stems from their proposed applications to wireless ad hoc and sensor networks that require distribut...
124
click to vote
WISTP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
125
click to vote
ICNP
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Despite years of research and development, pioneering deployments of multihop wireless networks have not proven successful. The performance of routing and transport is ...
107
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...