1524 search results - page 87 / 305 » Operational Semantics of Hybrid Systems |
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
14 years 11 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
USENIX
2001
14 years 11 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...