18924 search results - page 199 / 3785 » Conformance of Distributed Systems |
194
click to vote
ADBIS
2007
Springer
16 years 20 days ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
162
click to vote
LPAR
2005
Springer
15 years 12 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 ...
172
click to vote
ERCIM
2008
15 years 6 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
181
click to vote
IJICT
2007
15 years 6 months ago
2007
We propose a parallel algorithm for dynamic slicing of distributed Java programs. Given a distributed Java program, we first construct an intermediate representation in the form o...
156
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
This paper presents HAC, a novel technique for managing the client cache in a distributed, persistent object storage system. HAC is a hybrid between page and object caching that c...