1268 search results - page 50 / 254 » Verifying distributed systems: the operational approach |
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
FAST
2010
14 years 8 days ago
2010
Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
CC
2009
Springer
14 years 10 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...