256 search results - page 39 / 52 » Separation of NP-Completeness Notions |
CP
2004
Springer
15 years 5 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
100
click to vote
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
We consider a problem which was stated in a request for comments made by NIST in the FIPS97 document. The question is the following: Can we have a digital signature public key infr...
AFRICACRYPT
2009
Springer
15 years 3 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
BALT
2006
15 years 3 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...