2584 search results - page 203 / 517 » On the Forward Checking Algorithm |
124
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
121
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
132
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
116
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
116
click to vote
ARSCOM
2002
15 years 2 months ago
2002
Given a non-planar graph G with a subdivision of K5 as a subgraph, we can either transform the K5-subdivision into a K3,3-subdivision if it is possible, or else we obtain a partit...