1782 search results - page 66 / 357 » Tool Support for Proof Engineering |
158
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
138
click to vote
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
142
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
128
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
165
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...