24554 search results - page 448 / 4911 » Dependable distributed systems |
216
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
204
click to vote
ADBIS
2007
Springer
16 years 29 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...
170
click to vote
LPAR
2005
Springer
16 years 8 days 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 ...
180
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...
170
click to vote
SOSP
1997
ACM
15 years 8 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...