174 search results - page 9 / 35 » A Hybrid Denotational Semantics for Hybrid Systems |
TC
2010
13 years 1 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
FLAIRS
2008
13 years 8 months ago
2008
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
ICLP
2007
Springer
14 years 1 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...
JUCS
2006
13 years 7 months ago
2006
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
HYBRID
2010
Springer
13 years 5 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...