12981 search results - page 534 / 2597 » Model Checking (Abstract) |
173
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
195
click to vote
PPSWR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
196
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
174
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
193
click to vote
AGTIVE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...