169 search results - page 1 / 34 » Characterizing and checking self-healability |
ICFEM
2007
Springer
13 years 10 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
AB
2007
Springer
13 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
FOCS
1992
IEEE
13 years 8 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
OWLED
2008
13 years 5 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...