|
|
| DEPENDABLE SYSTEMS | |
|
|
|
| Fault tolerance tradeoffs in moving from decentralized to centralized ... Fault tolerance tradeoffs in moving from decentralized to centralized embedded systems - Dependable Systems and Networks, 2004 International Conference on http://www.kroening.com/papers/dsn2004.pdf DEPENDABLE COMPUTER SYSTEMS AND NETWORKS 2 NTUEE Cost of Downtime Ñ Downtime equates to lost revenue and customer dissatisfaction Ñ Surveys on business executives reported $80,000 to $300,000 loss per hour of downtime http://www.ee.duke.edu/~kst/ECE255/Kuo1.pdf Security: An International Journal, Vol.22, 2007, 75-91; Procon Ltd., DEPENDABLE COMPUTING SYSTEMS IN SUPPORT OF TRANSFORMATION OF THE FORCE INFORMATION INFRASTRUCTURE Security: An International Journal, Vol.22, 2007, 75-91; http://infosec.procon.bg/v22/Kharchenko_DependableComp.pdf Modeling and quantification of security attributes of software systems ... Modeling and quantification of security attributes of software systems - Dependable Systems and Networks, 2002. Proceedings. International Conference on http://www.csee.wvu.edu/~katerina/Papers/MAQOSAOSS.pdf Automatic design of dependable data storage systems Automatic design of dependable data storage systems Kimberly Keeton and John Wilkes Storage Systems Department Hewlett-Packard Laboratories, Palo Alto, CA {kkeeton, wilkes}@hpl.hp http://www.hpl.hp.com/research/ssp/papers/2003-06-selfmanage-depend.pdf RMBench: Real-Time Resource Management Middleware Benchmark Resource Management Middleware Matthew Delaney { matthew. delaney. 1@ohio.edu } Lonnie Welch, David Juedesand Chang Liu Center for Intelligent, Distributed & Dependable Systems Ohio http://www.omg.org/news/meetings/workshops/RT_2004_Manual/05-4_Delaney_etal.pdf Model Checking for Dependable Software-Intensive Systems Co-Chairs: Edmund Clarke (CMU, USA), Masahiro Fujita (University of Tokyo, Japan), David Gluch (Embry-Riddle University, USA) http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520764.pdf PoDSy 2003: Principles of Dependable Systems Felix Gartner (EPF, Switzerland), Klaus Kurawe (IBM, Switzerland), Levente Buttyan (Budapest University of Technology and Economics, Hungary) http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520763.pdf Panel: Issues and Challenges in Dependable Embedded Systems DEPENDABLE EMBEDDED SYSTEMS SPECIAL DAY PANEL: Issues and Challenges in Dependable Embedded Systems Panel: Issues and Challenges in Dependable Embedded Systems http://www.date-conference.com/conference/proceedings/PAPERS/2008/DATE08/PDFFILES/11.1_PANEL.PDF Efficient hierarchic management for reconfiguration of networked ... Efficient hierarchic management for reconfiguration of networked information systems - Dependable Systems and Networks, 2004 International Conference on http://www.cs.virginia.edu/papers/01311921.pdf Abort, Retry, Litigate: Dependable Systems and Contract Law Abort, Retry, Litigate: Dependable Systems and Contract Law HanyE. Ramadan University of Texas at Austin The law will play an increasingly important role in the design of http://www.cs.utexas.edu/~ramadan/pubs/hotdep06ramadan.pdf Distributed object middleware to support dependable information ... Distributed object middleware to support dependable information sharing between organisations - Dependable Systems and Networks, 2002. Proceedings. http://www.cin.ufpe.br/~redis/middleware/cook-dependable02.pdf Design for Dependable Systems 13 th SDL Forum Call for Papers - Paris - September 2007 Organisation Emmanuel Gaudin PragmaDev, France SDL Forum board PC Chair Elie Najm ENST, France Programme Committee Andreas http://www.pragmadev.com/news/SDL07_CfP.pdf Dependable Systems and Networks The International Conference on Dependable Systems and Networks Yokohama, Japan June 28 - July 1, 2005 The International Conference on Dependable Systems and Networks 2005 PACIFICO http://2005.dsn.org/pub/FinalProgram.pdf Dependable Adaptive Computing Systems- The ROAR Project Dependable Adaptive Computing Systems- The ROAR Project Nirmal R. Saxena Center for Reliable Computing Stanford University, Stanford, CA 94305 Edward J. http://www-crc.stanford.edu/crc_papers/saxenaSMC98.pdf "Dependable Smart Systems: Research, Industrial Applications, Co ... 2007 ERCIM / DECOS Workshop on Dependable Embedded Systems "Dependable Smart Systems: Research, Industrial Applications, Co-operative Systems, Standardization and Certification http://www.itk.ntnu.no/misc/ercim/07/Euromicro-WS-Program-2007-final.pdf Dependable Systems of the Future: What is Still Needed? 2 A Contemporary Paradox My prediction: A fully hardware-based fault-tolerant protective infrastructure for computing systems will evolve, because it is needed as systems progress http://www.laas.fr/IFIPWG/Top3/01-Avizienis.pdf The International Conference on Dependable Systems and Networks (DSN ... The International Conference on Dependable Systems and Networks (DSN 2008) Anchorage, Alaska, USA June 24-27,2008 CALL FOR CONTRIBUTIONS DSN 2008willfeaturea number of coordinated http://www.ece.cmu.edu/~koopman/dsn08/printable/DSN08_CFC.pdf Dependable Embedded Systems and Services: A Personal Crystalball ... Dependable Embedded Systems and Services: A Personal Crystalball Outlook Neeraj Suri Department of Computer Science TU Darmstadt, Germany Email: suri@informatik. tu-darmstadt.de http://www.ece.cmu.edu/~koopman/des03/des03_suri.pdf The International Conference on Dependable Systems and Networks The International Conference on Dependable Systems and Networks represents a new beginning in the field of dependable computing, as well as the continuation of long-established http://www.eng.uci.edu/~blough/dsn/cfc.pdf 6 Dependable systems evolution 6 Dependable systems evolution Jim Woodcock, University of Kent CNN News, June 4th, 1996: ìThe Ariane 5 rocket was destroyed seconds after it took off,î a spokesman for http://www.ukcrc.org.uk/grand_challenges/news/gc6.pdf Architecting Dependable Systems Using Virtualization Architecting Dependable Systems Using Virtualization HariGovindV. Ramasamyand Matthias Schunter IBM Zurich Research Laboratory R¨ uschlikon, Switzerland f hvr,mts g @zurich.ibm http://www.opentc.net/publications/OTC_Architecting_Dependable_Systems.pdf DEPENDABLE POWER SYSTEMS DEPENDABLE POWER SYSTEMS INVERTER, STATIC SWITCH, AND MANUAL BYPASS SWITCH Installation, Operating, And Maintenance Instructions WARRANTY Dependable Power Systems warrants, FOB http://www.imescomfg.com/invertermanual.pdf DEPENDABLE POWER SYSTEMS DEPENDABLE POWER SYSTEMS BATTERY CHARGER TROUBLE SHOOTING Page 1 1.0 SYSTEM Notes: 1. Do not replace any of the semiconductor fuses in this unit with Gould/Shawmut form 101 fuses. http://www.imescomfg.com/batterychargetrouble.pdf software for dependable systems: sufficient evidence? software for dependable systems: sufficient evidence? Daniel Jackson, MIT NSA HCSS · Baltimore, MD · May 9, 2007 initial briefing of National Academies Study subject to revision http://people.csail.mit.edu/dnj/talks/depcert07/depcert07.pdf Modelling Dependable Systems using Hybrid Bayesian Network\205) Modeling Dependable Systems using Hybrid Bayesian Networks Martin Neil ??, Manesh Tailor ?, David Marquez ?, Norman Fenton ?? and Peter Hearty ? ? Department of http://www.agenarisk.com/resources/white_papers/Modeling_Dependable_Systems.pdf DEPENDABLE SYSTEMS REVIEW We can draw on our resources as an independent provider of marine risk management solutions to refine key processes and help ensure that stakeholders work together towards a common http://www.lr.org/Publications/Locked/DSR.htm Architecting Dependable Systems II R.d. Lemos, University of Kent, Canterbury, UK; C. Gacek, University of Newcastle upon Tyne, UK; A. Romanovsky, University of Newcastle upon Tyne, UK (Eds.) Architecting Dependable http://www.springer.com/?SGWID=0-102-1297-35206003-0 Dependable Systems: Software, Computing, Networks J. Kohlas, University of Friborg, Switzerland; B. Meyer, ETH, Zurich, Switzerland; A. Schiper, EPFL, Lausanne, Switzerland (Eds.) Dependable Systems: http://www.springer.com/?SGWID=0-102-1297-173669810-0 |
Similar dependable systems and networks dependable systems dependability uscgc dependable wmec 626 list of computer science conferences laboratory for analysis and architecture of systems dsn computer science conferences computer insecurity ian sommerville viatra computer security laas cnrs michael j butler leslie lamport behavior engineering international conferences list of software engineering conferences it security jim woodcock list of important publications in computer science verification and validation software john fitzgerald computer scientist cryptographic nonce fault injection on computable numbers list of eclipse based software john rushby ohio university department of transportation and communications philippines ambient intelligence j c p woodcock software testing communicating sequential processes group key institute for information infrastructure protection security through obscurity michael butler computer scientist thiokol cyclic redundancy check alari security by obscurity i3p writing università della svizzera italiana gray box testing paxos algorithm fuel injector software test alpha testing |
Powered by wokdok.com version 1.0 Copyright © 2004-2008 XvR-Design