2661 search results - page 51 / 533 » A Semantics for Abstraction |
181
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
138
click to vote
SUM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
145
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
140
click to vote
CALCO
2009
Springer
16 years 23 days ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
170
click to vote
EUROCAST
2001
Springer
15 years 10 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...