156 search results - page 9 / 32 » Validating Requirements for Fault Tolerant Systems using Mod... |
181
Voted
ICONS
2009
IEEE
16 years 13 days ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
178
click to vote
ICECCS
2009
IEEE
16 years 14 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
171
click to vote
DOA
2000
15 years 7 months ago
2000
An increasing number of applications are being developed using distributed object computing middleware, such as CORBA. Many of these applications require the underlying middleware...
168
Voted
RTAS
2008
IEEE
16 years 5 days ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
171
Voted
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...