2696 search results - page 327 / 540 » Semantic Abstraction and Anaphora |
195
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
154
click to vote
MIDDLEWARE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
167
click to vote
SAFECOMP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
154
click to vote
SAS
2007
Springer
16 years 18 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
155
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...