49 search results - page 4 / 10 » A Calculus for Schemas in Z |
SEMWEB
2001
Springer
14 years 1 days ago
2001
Springer
Recent research has shown that RDF Schema, as a schema layer Semantic Web language, has a non-standard metamodeling architecture. As a result, it is difficult to understand and la...
FM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
MPC
1992
Springer
13 years 11 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...