6020 search results - page 1026 / 1204 » A New Approach to Model Counting |
165
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
157
click to vote
USENIX
2007
15 years 8 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
214
click to vote
USS
2008
15 years 8 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
174
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
151
click to vote
WSC
2000
15 years 7 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...