2776 search results - page 222 / 556 » System-Level Abstraction Semantics |
154
Voted
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
157
click to vote
AUSAI
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
149
click to vote
ESWS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
144
click to vote
ESWS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
133
click to vote
GI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...