738 search results - page 109 / 148 » cases 2001 |
88
Voted
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
CCS
2001
ACM
15 years 2 months ago
2001
ACM
Abstract. A device that performs private key operations (signatures or decryptions), and whose private key operations are protected by a password, can be immunized against offline...
CIA
2001
Springer
15 years 2 months ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
Query expansion has been shown effective for both single database retrieval and for distributed information retrieval where complete collection information is available. One might...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...