2776 search results - page 111 / 556 » System-Level Abstraction Semantics |
127
Voted
P2P
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
137
Voted
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
131
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
133
click to vote
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
133
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...