2989 search results - page 196 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
116
click to vote
SDM
2004
SIAM
14 years 11 months ago
2004
SIAM
Several application domains such as molecular biology and geography produce a tremendous amount of data which can no longer be managed without the help of efficient and effective ...
111
Voted
MMSEC
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
75
Voted
DSN
2004
IEEE
15 years 2 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
79
Voted
AAAI
2007
15 years 17 days ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...