1138 search results - page 74 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We propose a solution to the problem of adaptive output regulation for nonlinear minimum-phase systems that does not rely upon conventional adaptation schemes to estimate the frequ...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
AGP
2003
IEEE
14 years 1 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
LPNMR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...