1567 search results - page 5 / 314 » A Mechanized Model of the Theory of Objects |
MSCS
2007
14 years 9 months ago
2007
Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of fields it has always played a central role that this litt...
IFM
2007
Springer
15 years 3 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
ICNS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
ISCAPDCS
2004
14 years 11 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...