2632 search results - page 410 / 527 » Alternating Timed Automata |
125
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
103
click to vote
CHES
2008
Springer
15 years 3 months ago
2008
Springer
Bit-slicing is a non-conventional implementation technique for cryptographic software where an n-bit processor is considered as a collection of n 1-bit execution units operating in...
124
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
106
click to vote
HT
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we are interested in describing Web pages by how users interact within their contents. Thus, an alternate but complementary way of labelling and classifying Web docu...
113
Voted
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...