11017 search results - page 128 / 2204 » Closure Systems and their Structure |
ICEIS
2005
IEEE
14 years 1 months ago
2005
IEEE
CAV
1999
Springer
14 years 11 days ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
AIPS
1994
13 years 9 months ago
1994
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting e...
SODA
2010
ACM
14 years 5 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...