6608 search results - page 40 / 1322 » On the Completeness of Model Checking |
73
Voted
RTA
1993
Springer
15 years 4 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
109
Voted
ICASSP
2010
IEEE
15 years 28 days ago
2010
IEEE
— In cognitive radio, spectrum sensing is a key component to detect spectrum holes (i.e., channels not used by any primary users). Collaborative spectrum sensing among the cognit...
104
click to vote
ENTCS
2007
15 years 21 days ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
98
Voted
WCRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
95
Voted
ICALT
2003
IEEE
15 years 6 months ago
2003
IEEE
Learning Objects Metadata describing educational resources in order to allow better reusability and retrieval. Unfortunately, annotating complete courses thoroughly with LOM metad...