212 search results - page 31 / 43 » Completeness and Complexity of Bounded Model Checking |
126
Voted
AIL
2007
15 years 2 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
101
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
117
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
163
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
152
click to vote
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...