Вы здесь

Главная

надежность

Связанные издания:

A Characterization of the Simple Failure-Biasing Method for Simulations of Highly Reliable Markovian Systems
Achieving Type Safety for Low-Level Code
A Combined Testing and Verification Approach for Software Reliability
A Comparison of Sender-Initiated and Receiver-Initiated Reliable Multicast Protocols
Ada+B The Formula for Safety Critical Software Development
Adding Design by Contract to the Ada Language
A Discussion on the Ada Run-Time Environment in Safety Critical Application
Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006
Advances in Spatial and Temporal Databases: Proc./11th International Symposium, SSTD 2009. Aalborg, Denmark, July 2009
Advances in Speech and Language Technologies for Iberian Languages: Proc./2nd International Conference, IberSPEECH 2014, Las Palmas de Gran Canaria, Spain, November 2014
Advances in Web Based Learning - ICWL 2007: Proc./6th International Conference. Edinburgh, UK, August 2007
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol
A Framework for Reliability Assessment of Software Components
Agent Communication II: Selected and Revised Papers/Intl WS s AC`05 & AC`06. Utrecht, the Netherlands, July`05 & Hakodate, Japan, May`06
A Highly Available Application in the Trains Environment
A Hybrid Estimator for Selectivity Estimation
A Knowledge-Based Methodology for Designing Reliable Multi-agent Systems
Algorithm 720 - An Algorithm for Adaptive Cubature Over a Collection of 3-Dimensional Simplices
Algorithm 731: A Moving-Grid Interface for Systems of One-Dimensional Time-Dependent Partial Differential Equations
Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice
Algorithmic Game Theory: Proc./6th International Symposium, SAGT 2013, Aachen, Germany, October 2013
Algorithms and Architectures for Parallel Processing: Proc./9th International Conference, ICA3PP 2009. Taipei, Taiwan, June 2009
A Markovian Imperfect Debugging Model for Software Reliability Measurement
A Mechanism of Process Group for Application Reliability in Distributed Systems
A Model for Adaptive Fault-Tolerant Systems
Analysis of Preventive Maintenance in Transactions Based Software Systems
Analyzing Errors and Referral Pairs to Characterize Common Problems and Improve Web Reliability
An Annotated Bibliography of Dependable Distributed Computing
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing
Annex 1. Technical Annex for ESPRIT Basic Research Action 3104.ProCos. Provably Correct Systems. Final Version
An Open Multiagent Architecture to Improve Reliability and Adaptability of Systems
A Per Model of Secure Information Flow in Sequential Programs
Applying Reliability Measurement: A Case Study
Approximation and Online Algorithms: Revised Selected Papers/9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 2011
Architecting Dependable Systems II
Architecting Dependable Systems III
Architecting Dependable Systems IV
Architecting Dependable Systems V
Architecting Dependable Systems VI
Architecture of Computing Systems - ARCS 2016: Proc./29th International Conference, Nuremberg, Germany, April 2016
Architecturing Systems with Trustworthy Components: Revised Selected Papers/International Seminar. Dagstuhl Castle, Germany, December 2004
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft
A Reduced Test Suite for Protocol Conformance Testing
A Reliability Model Combining Representative and Directed Testing
A Reputation System to Increase MIX-Net Reliability
ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging
A Simple Reliable Globally- Ordered Broadcast Service
A Simple Testing Technique for Embedded Systems