208 search results - page 25 / 42 » Realization using the model existence theorem |
NFM
2011
14 years 5 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
WISE
2005
Springer
15 years 4 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
104
click to vote
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
UCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract— In this paper, we present two methods for calibration of acceleration sensors that are inexpensive, in-situ, require minimum user interaction and are targeted to a broa...
116
click to vote
FOCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...