First Page | Document Content | |
---|---|---|
Date: 2004-03-04 16:11:58Security International Conference on Dependable Systems and Networks Dependability Ambient intelligence Wireless sensor network Fault-tolerant system Intrusion tolerance Byzantine fault tolerance Computing Fault tolerance Systems engineering | DSN 2004 The International Conference on Dependable Systems and NetworksAdd to Reading ListSource URL: 2004.dsn.orgDownload Document from Source WebsiteFile Size: 888,29 KBShare Document on Facebook |
Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001DocID: 1xV8y - View Document | |
PDF DocumentDocID: 1w3Zw - View Document | |
Improving the Dependability of Data Center-Scale Computations Daniel * Porto ,DocID: 1vgQM - View Document | |
Computing manuscript No. (will be inserted by the editor) Dependability Certification of Services: A Model-Based Approach Claudio A. Ardagna · Ravi Jhawar ·DocID: 1vfNV - View Document | |
Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability” DEPLOY Deliverable D2DocID: 1usFT - View Document |