626 search results - page 76 / 126 » Satisfying Maintenance Goals |
178
click to vote
ICAC
2008
IEEE
16 years 23 days ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
162
click to vote
SYNASC
2006
IEEE
16 years 9 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
184
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service. Using ...
154
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
167
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...