384 search results - page 47 / 77 » Formal Development of Reactive Fault Tolerant Systems |
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Software-deļ¬ned networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
FM
2003
Springer
14 years 29 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
Workflow Management System is generally utilized to define, manage and execute workflow applications on Grid resources. However, the increasing scale complexity, heterogeneity and...