983 search results - page 58 / 197 » Object-oriented Abstractions for Distributed Programming |
100
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
117
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
127
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
122
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
118
click to vote
AOSD
2005
ACM
15 years 7 months ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...