18493 search results - page 136 / 3699 » Timers for Distributed Systems |
POLICY
2009
Springer
15 years 9 months ago
2009
Springer
This paper addresses an important open problem confronting any decentralized and stateful access control (AC) mechanism for networked systems, particularly when the system at hand...
157
Voted
ISORC
2008
IEEE
15 years 9 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)...
130
Voted
ADBIS
2007
Springer
15 years 8 months 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...
122
Voted
LPAR
2005
Springer
15 years 8 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 ...
120
Voted
ERCIM
2008
15 years 2 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...