3624 search results - page 570 / 725 » Abstract Algebraic Logic |
176
click to vote
SEMWEB
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
174
Voted
TACAS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
179
click to vote
WADT
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
175
Voted
ECBS
2010
IEEE
16 years 8 days ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
187
click to vote
MSS
2003
IEEE
16 years 7 days ago
2003
IEEE
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...