2776 search results - page 310 / 556 » System-Level Abstraction Semantics |
156
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
177
click to vote
ER
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
155
click to vote
FORMATS
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
174
click to vote
FSTTCS
2004
Springer
16 years 20 hour ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
181
click to vote
IFM
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...