4047 search results - page 75 / 810 » Algebraic Model Checking |
100
click to vote
RELMICS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
118
Voted
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
147
click to vote
SAM
2004
15 years 3 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
115
Voted
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
125
Voted
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
We present an analytic solution to the problem of estimating multiple 2-D and 3-D motion models from two-view correspondences or optical flow. The key to our approach is to view th...