1027 search results - page 134 / 206 » Representing and Reasoning with Operational Semantics |
92
Voted
GFKL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...
108
Voted
SEMWEB
2001
Springer
15 years 5 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
114
click to vote
PODS
2008
ACM
16 years 23 days ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
123
click to vote
FUIN
2006
15 years 20 days ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
121
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...