(redirected from Dependable systems)
Also found in: Dictionary, Legal, Encyclopedia.
References in periodicals archive ?
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
Full browser ?