Weaver, The Goal Structuring Notation--A Safety Argument Notation, Proceedings of Dependable Systems
and Networks 2004, Workshop on Assurance Cases.
Subsequently, when the immune system encounters the same pathogen once again, the body recognizes it and knows how to effectively fight the ill-ness," said George Candea, director of Dependable Systems
Lab, where the new tool has been developed.
Proceedings of the International Conference on Dependable Systems
and Networks, DSN 2004 (Florence, Italy), pages 287-291.
Siemens is proud to offer a technology solution that will help ensure utilities have more efficient and dependable systems
for targeted, real-time demand event monitoring while modernizing the grid to meet the country's growing electricity needs.
Shostak, along with two other scientists (Marshall Pease and Leslie Lamport), was awarded the 2013 Jean-Claude Laprie Award in Dependable Computing, at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems
and Networks (DSN), in Budapest, Hungary.
The theme of the 2008 Asia-Pacific Software Engineering Conference was 'Software for Dependable Systems
The proposers of the research into dependable systems
are in no doubt about their aim: "We propose to solve the dependability problem for evolving systems once and for all.
Shostak, who worked with two other scientists on this fault-tolerance theory, Marshall Pease and Leslie Lamport, will be awarded the honor at the 43rd Annual IEEE/IFIP International Conference on Dependable Systems
and Networks (DSN) this week in Budapest, Hungary.
Sponsored by a committee of the IEEE Computer Society, the June 2007 meeting in Edinburgh, UK was the 37th, closing in on the big 4-0 for this annual gathering (and it seems like discussions of dependable systems
and networks were born just yesterday).
The sessions will address today's hottest design topics, including multicore processors, 28nm FPGA, the Android platform, smart energy technologies, dependable systems
, formal verification, real-time design and testing strategies and tools for complex embedded systems.
About 135 papers from a May 2007 conference describe recent work in theoretical and practical aspects of network systems, distributed systems, multimedia systems, Internet and Web technologies, mobile computing, intelligent computing, pervasive/ubiquitous networks, dependable systems
, semantic service, Grid, P2P, and scalable computing.
1 Introduces Advanced Support for Ultra-Large-Scale Systems, Dependable Systems
and Resource-Constrained Systems