1268 search results - page 190 / 254 » Verifying distributed systems: the operational approach |
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
ISDA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--In business analysis, models are sometimes oversimplified. We pragmatically approach many problems with a single financial objective and include monetary values for non-m...
SOSP
2005
ACM
14 years 6 months ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
SOSP
2009
ACM
14 years 6 months ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...
OSDI
1996
ACM
13 years 11 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...