2776 search results - page 69 / 556 » System-Level Abstraction Semantics |
110
Voted
ERSHOV
2001
Springer
15 years 7 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
103
click to vote
CALCO
2009
Springer
15 years 9 months 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...
112
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
131
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
123
Voted
DBISP2P
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we propose a semantic based P2P system that incorporates peer sharing policies, which allow a peer to state, for each of the concepts it deals with, the con...