208 search results - page 7 / 42 » Realization using the model existence theorem |
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
136
click to vote
DASFAA
2010
IEEE
15 years 2 months ago
2010
IEEE
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. The existing approaches store RDF data based on triples instead of a relation model. I...
72
Voted
SEMWEB
2004
Springer
15 years 3 months 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 ...
ER
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...