1524 search results - page 68 / 305 » Operational Semantics of Hybrid Systems |
JODS
2007
14 years 9 months ago
2007
We view match as an operator that takes two graph-like structures (e.g., classifications, XML schemas) and produces a mapping between the nodes of these graphs that correspond sema...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic ...
WSC
2008
15 years 4 days ago
2008
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
CF
2011
ACM
13 years 9 months ago
2011
ACM
Ubiquitous computing has become a very popular paradigm. The most suitable technological solution for those systems consists of using hybrid processors able to operate at high vol...