2872 search results - page 325 / 575 » On (Omega-)Regular Model Checking |
194
click to vote
CTRSA
2012
Springer
14 years 21 days ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...
174
click to vote
LPAR
2012
Springer
14 years 18 days ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
175
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
177
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
125
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...