1524 search results - page 27 / 305 » Operational Semantics of Hybrid Systems |
101
click to vote
ENTCS
2006
14 years 9 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
JLP
2006
14 years 9 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
72
Voted
DAGSTUHL
2006
14 years 11 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
83
Voted
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
DFG
2004
Springer
15 years 3 months ago
2004
Springer