5451 search results - page 793 / 1091 » Typed Operational Semantics |
132
click to vote
HYBRID
2009
Springer
16 years 28 days ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
158
Voted
WEBDB
2009
Springer
16 years 22 days 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...
161
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
156
click to vote
ER
2009
Springer
16 years 22 days ago
2009
Springer
Goals are often used to represent stakeholder’s objectives. The intentionality inherited by a goal drives stakeholders to pursuit the fulfillment of their goals either by themse...
149
click to vote
ESWS
2009
Springer
16 years 22 days ago
2009
Springer
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...