606 search results - page 87 / 122 » Algebras and Update Strategies |
AMAI
2007
Springer
13 years 9 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...
CONCURRENCY
2006
13 years 9 months ago
2006
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
CMOT
2002
13 years 9 months ago
2002
Organizational change management is concerned with realizing strategies using models, methods and prescriptions that seek to guide the three key elements of strategic management p...