2661 search results - page 32 / 533 » A Semantics for Abstraction |
114
click to vote
APN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
117
click to vote
WWW
2009
ACM
15 years 8 months ago
2009
ACM
The use of RDF data published on the Web for applications is still a cumbersome and resource-intensive task due to the limited software support and the lack of standard programmin...
115
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
109
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...
132
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...