4047 search results - page 51 / 810 » Algebraic Model Checking |
175
Voted
IEEEICCI
2009
IEEE
15 years 11 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
145
click to vote
RC
2002
15 years 4 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
134
Voted
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
132
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...