3564 search results - page 436 / 713 » Evaluating a Formal Modelling Language |
127
click to vote
WEBDB
2009
Springer
15 years 10 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
130
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
133
click to vote
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
116
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
133
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...