5084 search results - page 409 / 1017 » Proving Possibility Properties |
174
click to vote
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
209
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
160
click to vote
HYBRID
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
170
click to vote
PET
2004
Springer
16 years 6 days ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
177
Voted
ICCV
2003
IEEE
16 years 4 days ago
2003
IEEE
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...