1054 search results - page 124 / 211 » Translation Validation of System Abstractions |
168
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
226
click to vote
BERTINORO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...
196
click to vote
EKAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
204
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
172
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract With n servers that independently fail with probability of p < 0.5, it is well known that the majority quorum system achieves the best availability among all quorum sys...