819 search results - page 143 / 164 » Using Assumptions to Distribute CTL Model Checking |
107
Voted
TREC
2008
15 years 1 months ago
2008
PageRank is a way to rank Web pages taking into account hyper-link structure of the Web. PageRank provides efficient and simple method to find out ranking of Web pages exploiting ...
126
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—Extracting planar graph from network topologies is of great importance for efficient protocol design in wireless ad hoc and sensor networks. Previous techniques of planar topol...
95
Voted
MOBIHOC
2008
ACM
16 years 4 days ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
114
click to vote
MSN
2007
Springer
15 years 6 months ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
99
Voted
AFRICACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...