2722 search results - page 207 / 545 » The Model Evolution Calculus |
148
click to vote
SIGMOD
1996
ACM
15 years 7 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
149
Voted
JLP
2011
14 years 10 months ago
2011
Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Servic...
141
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
110
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
150
Voted
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...