3573 search results - page 481 / 715 » Reasoning about Codata |
121
Voted
RE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...
154
click to vote
RULEML
2005
Springer
15 years 11 months ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
154
Voted
RWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
145
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
150
Voted
SG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...