1274 search results - page 131 / 255 » New Proofs for |
110
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
111
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we focus on the construction of an efficient dominating set in ad hoc and sensor networks. A set of nodes is said to be dominating if each node is either itself...
SIAMCOMP
2000
15 years 18 days ago
2000
We present a linear programming-based method for nding \gadgets", i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A...
88
Voted
HIP
2005
Springer
15 years 6 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
111
click to vote
NDSS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a new password authentication and key-exchange protocol suitable for authenticating users and exchanging keys over an untrusted network. The new protocol resis...