6608 search results - page 252 / 1322 » On the Completeness of Model Checking |
155
click to vote
ICCV
2007
IEEE
16 years 7 days ago
2007
IEEE
We introduce the use of over-complete spherical wavelets for shape analysis of 2D closed surfaces. Bi-orthogonal spherical wavelets have been shown to be powerful tools in the seg...
166
click to vote
ECAL
2007
Springer
16 years 2 days ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
164
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
181
click to vote
DBSEC
2006
15 years 7 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
141
click to vote
JSC
2010
15 years 4 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...