1027 search results - page 59 / 206 » Representing and Reasoning with Operational Semantics |
101
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
99
Voted
P2P
2002
IEEE
15 years 5 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...
103
click to vote
SWAP
2008
15 years 2 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
116
click to vote
BIS
2009
15 years 1 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
105
Voted
ECSQARU
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...