3228 search results - page 559 / 646 » Computationally Sound Proofs |
FMCAD
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
KR
2000
Springer
14 years 11 days ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
USS
2008
13 years 11 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
AI
2008
Springer
13 years 10 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...