1264 search results - page 114 / 253 » Designing Safe, Reliable Systems using Scade |
140
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
130
click to vote
NPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
143
click to vote
JSS
2008
15 years 4 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
181
click to vote
STORAGESS
2006
ACM
15 years 10 months ago
2006
ACM
Backing up important data is crucial. A variety of causes can lead to data loss, such as disk failures, administration errors, virus infiltration, theft, and physical damage to e...
162
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— As the academic world moves away from physical journals and proceedings towards online document repositories, the ability to efficiently locate work of interest among the torr...