|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2191 occurrences of 1029 keywords
|
|
|
Results
Found 4885 publication records. Showing 4885 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Rami Bahsoon |
Defining Dependable Dynamic Data-Driven Software Architectures. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Naghmeh Karimi, Shahrzad Mirkhani, Zainalabedin Navabi, Fabrizio Lombardi |
RT level reliability enhancement by constructing dynamic TMRS. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
fault tolerant, reliability, TMR, RTL design |
14 | Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic |
Using Architecture Analysis to Evolve Complex Industrial Systems. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
D.2.11 Software Architectures, D.2.7.m Restructuring, reverse engineering, reengineering |
14 | Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf |
Reliability Analysis of Concurrent Systems Using LTSA. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi |
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. |
AINA Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ross J. Anderson, Tyler Moore 0001 |
Information Security Economics - and Beyond. |
CRYPTO |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
14 | Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis |
Towards a Framework for Dynamic Verification of Peer-to-Peer Systems. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Juan A. Carrasco |
Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems. |
IEEE Trans. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bridget Kane, Saturnino Luz |
Multidisciplinary Medical Team Meetings: An Analysis of Collaborative Working with Special Attention to Timing and Teleconferencing. |
Comput. Support. Cooperative Work. |
2006 |
DBLP DOI BibTeX RDF |
multidisciplinary medical team meetings, ethnography, healthcare, interaction analysis, teleconference |
14 | Kimberly Keeton, Arif Merchant |
Challenges in managing dependable data systems. |
SIGMETRICS Perform. Evaluation Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Davids, Siddhartha Datta, Arindam Mukherjee 0001, Bharat Joshi, Arun Ravindran |
Multiple fault diagnosis in digital microfluidic biochips. |
ACM J. Emerg. Technol. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Microfluidic biochip, droplet flooding, faults tolerance, testing, multiple fault |
14 | Luís Moura Silva, Henrique Madeira, João Gabriel Silva |
Software Aging and Rejuvenation in a SOAP-based Server. |
NCA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Bernardi, Letícia Maria Veiras Bolzani, Alberto Manzone, Massimo Osella, Massimo Violante, Matteo Sonza Reorda |
Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Abdollahi Azgomi, Ali Movaghar 0001 |
Efficient Evaluation of CSAN Models by State Space Analysis Methods. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
coloured stochastic activity networks, state space analysis techniques, performance evaluation, Petri nets |
14 | Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione |
A Practical Architecture-Centric Analysis Process. |
QoSA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Lorenz Froihofer, Johannes Osrael, Karl M. Göschka |
Trading Integrity for Availability by Means of Explicit Runtime Constraints. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Joana Matos Fonseca da Trindade, Taisy Silva Weber, Ingrid Jansch-Pôrto |
A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai |
Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pat Pik-Wah Chan, Michael R. Lyu, Miroslaw Malek |
Making Services Fault Tolerant. |
ISAS |
2006 |
DBLP DOI BibTeX RDF |
Web service, reliability, redundancy, availability |
14 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-Driven Assessment of Use Cases for Dependable Systems. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Paulo Veríssimo |
Thou Shalt Not Trust non-Trustworthy Systems. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Xiangyong Ouyang, Tomohiro Yoshihara, Haruo Yokota |
An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | James R. Larus |
Abolish runtime systems: operating systems should control the execution. |
VEE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Salvatore Distefano, Marco Scarpa, Antonio Puliafito |
Modeling Distributed Computing System Reliability with DRBD. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model checking meets performance evaluation. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech |
An evolutionary testbed for software technology evaluation. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ian Sommerville |
Extreme Programming for Critical Systems?. |
XP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Péter Domokos, István Majzik |
Design and Analysis of Fault Tolerant Architectures by Model Weaving. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello |
Assured Reconfiguration of Fail-Stop Systems. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll 0001, Elizabeth Latronico, Philip Koopman |
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ana Busic, Jean-Michel Fourneau |
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael G. Hinchey, James L. Rash, Christopher A. Rouff |
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Martin Jandl, Alexander Szep, Robert Smeikal, Karl M. Göschka |
Increasing Availability by Sacrificing Data Integrity - A Problem Statement. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj |
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns |
14 | J. A. Carvalho, A. S. Carvalho, Paulo Portugal |
Assessment of PROFIBUS networks using a fault injection framework. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Cédric Wilwert, Françoise Simonot-Lion, Yeqiong Song, Françoise Simonot |
Quantitative evaluation of the safety of X-by-Wire architecture subject to EMI perturbations. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Andrew C. Rice, Robert K. Harle |
Evaluating lateration-based positioning algorithms for fine-grained tracking. |
DIALM-POMC |
2005 |
DBLP DOI BibTeX RDF |
fine grained location, lateration, positioning algorithms, dependable, location |
14 | Tohru Kikuno |
Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Arshad Jhumka, Martin Hiller |
Putting Detectors in Their Place. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
design, embedded systems, formal methods, location, resource constraints, Detectors |
14 | Bumjoo Park, Kiejin Park, Sungsoo Kim |
A Self-healing Mechanism for an Intrusion Tolerance System. |
TrustBus |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Margaret M. Burnett, Curtis R. Cook, Gregg Rothermel |
End-user software engineering. |
Commun. ACM |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Aniruddha S. Gokhale, Balachandran Natarajan, Douglas C. Schmidt, Joseph K. Cross |
Towards Real-Time Fault-Tolerant CORBA Middleware. |
Clust. Comput. |
2004 |
DBLP DOI BibTeX RDF |
DRE systems, CORBA, Real-Time CORBA, Fault-Tolerant CORBA |
14 | Alexander Szep, Robert Smeikal, Martin Jandl, Karl M. Göschka |
Dependable distributed systems. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
replication, consistency |
14 | Gérard Le Lann |
Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Peng Xu, Ralph Deters |
Using Event-Streams for Fault-Management in MAS. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini |
Model-based evaluation of a radio resource management system for wireless networks. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
modeling, reliability, wireless networks, resource management system, stochastic activity networks |
14 | Hermann Kopetz |
On the Fault Hypothesis for a Safety-Critical Real-Time System. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems |
14 | Matteo Sonza Reorda, Massimo Violante |
On-Line Analysis and Perturbation of CAN Networks. |
DFT |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ivica Crnkovic, Magnus Larsson, Otto Preiss |
Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Vincenzo Grassi |
Architecture-Based Reliability Prediction for Service-Oriented Computing. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Minsu Choi, Noh-Jin Park, K. M. George, Byoungjae Jin, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi |
Fault Tolerant Memory Design for HW/SW Co-Reliability in Massively Parallel Computing Systems. |
NCA |
2003 |
DBLP DOI BibTeX RDF |
Built-in-self-repair (BISR), Field Reconfiguration, HW/SW Co-reliability, Reliability Assurance, Reliability, High performance computing, Yield, Massively parallel computing, Fault-tolerant memory, Modular Redundancy |
14 | Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Stefano Chessa, Piero Maestrini |
Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
14 | David Coppit, Robert R. Painter, Kevin J. Sullivan |
Shared Semantic Domains for Computational Reliability Engineering. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano |
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
Fault Treatment, Threshold-based mechanisms, CORBA Architectures, Fault Diagnosis, Legacy systems, Software Implemented Fault Tolerance |
14 | Fernando Castor Filho, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira |
An Architectural-Level Exception-Handling System for Component-Based Applications. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Geert Deconinck, Vincenzo De Florio, Ronnie Belmans |
Architecting Distributed Control Applications Based on (Re-)Configurable Middleware. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan |
Towards a Rigorous Definition of Information System Survivability. |
DISCEX (1) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Claudio Basile, Long Wang 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Group Communication Protocols under Errors. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Shamus P. Smith, Michael D. Harrison |
Augmenting descriptive scenario analysis for improvements in human reliability design. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
THEA, descriptive and numeric analysis, human reliability design, scenario based design, HEART |
14 | G. Ranjith, C. Siva Ram Murthy |
An Efficient Resource Sharing Scheme for Dependable Real-Time Communication in Multihop Networks. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
Dependable connection, primary channel, backup channel, primary-backup multiplexing, RSVP |
14 | Alan Fedoruk, Ralph Deters |
Using Agent Replication to Enhance Reliability and Availability of Multi-agent Systems. |
AI |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Fabián E. Bustamante, Christian Poellabauer, Karsten Schwan |
AIMS: robustness through sensible introspection. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Ledlie, Jacob M. Taylor, Laura Serban, Margo I. Seltzer |
Self-organization in peer-to-peer systems. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey S. Chase, Amin Vahdat, John Wilkes |
Back to the future: dependable computing = dependable services. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Dick Hamlet |
Continuity in sofware systems. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Orna Raz, Philip Koopman, Mary Shaw |
Semantic anomaly detection in online data sources. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Orna Raz, Philip Koopman, Mary Shaw |
Enabling automatic adaptation in systems with under-specified elements. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mary Shaw |
"Self-healing": softening precision to avoid brittleness: position paper for WOSS '02: workshop on self-healing systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
software homeostasis, software utility theory, sufficient correctness, self-healing systems |
14 | Marcello Lajolo |
Bus guardians: an effective solution for online detection and correction of faults affecting system-on-chip buses. |
IEEE Trans. Very Large Scale Integr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer Ren, Michel Cukier, William H. Sanders |
An Adaptive Algorithm for Tolerating Value Faults and Crash Failures. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
adaptive fault tolerance, CORBA, replication protocols, group communication systems, Dependable distributed systems |
14 | Graham Clark, William H. Sanders |
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
14 | F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Min Wang, Paramvir Bahl, Wilf Russell |
The SIMBA User Alert Service Architecture for Dependable Alert Delivery. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta |
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
14 | John A. Stankovic |
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Gábor Huszerl, István Majzik |
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. |
EUROMICRO |
2001 |
DBLP DOI BibTeX RDF |
|
14 | F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli |
Modeling and Analysis of the Behavior of GPRS Systems. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Vicente Chirivella, Rosa Alcover, José Duato |
Accurate Availability Model for Direct Interconnection Networks. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Kristina Ahlström, Jan Torin, Per Johannessen |
Design Method for Conceptual Design of By-Wire Control: Two Case Studies. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri |
A C/C++ Source-to-Source Compiler for Dependable Applications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Yutao He, Algirdas Avizienis |
Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
On the Logical Characterisation of Performability Properties. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Koeunyi Bae, KyungSoo Han, James S. Thorp |
Nodal-Price Dependent, Dual-Mode Transmission Line Protection Strategy. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Giovanna Dondossola, Oliver Botti |
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Saurabh Bagchi, Keith Whisnant |
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Adaptive fault tolerance, high availability networked computing, extendible modular architecture, COTS, software-implemented fault tolerance |
14 | Ben L. Di Vito |
Software Can Be Entrusted with High Consequence Functionality. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Luis Carroll, Bertrand Tondu, Claude Baron, Jean Claude Geffroy |
UML Framework for the Design of Real-Time Robot Controllers. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca |
A Simulated Fault Injection Tool for Dependable VoD Application Design. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |
Formal Development and Validation of Java Dependable Distributed Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions |
14 | Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras |
Analysing a Mechatronic System with Coloured Petri Nets. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Quantitative and qualitative analysis, Mechatronic systems, Hybrid systems, Coloured Petri nets, State space analysis |
14 | John C. Knight |
Challenges in the Utilization of Formal Methods. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Dalibor, A. Hein, Wolfgang Hohl |
Application-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
reconfiguration policies, simulated fault injection, performability analysis, workload modeling |
14 | Jong Kim 0001, Kang G. Shin |
Operationally Enhanced Folded Hypercubes. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
operationally enhanced folded hypercubes, twisted hypercube, performance evaluation, fault-tolerance, performance, reliability, reliability, fault tolerant computing, hypercube networks, operation mode |
14 | John C. S. Lui, Richard R. Muntz |
Computing Bounds on Steady State Availability of Repairable Computer Systems. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Lee M. Hively, Frederick T. Sheldon, Anna Cinzia Squicciarini |
Toward Scalable Trustworthy Computing Using the Human-Physiology-Immunity Metaphor. |
IEEE Secur. Priv. |
2011 |
DBLP DOI BibTeX RDF |
C.2.2 Network Protocols, trust establishment system, acces control models, K.6.5.a Authentication, K.6.5 Security and Protection, D.4.6.a Access controls, A.1 Introductory and Survey, C.2.0.f Network-level security and protection, C.4.f Reliability, D.2.15 Software and System Safety, Security, Software Engineering, Reliability, formal methods, Validation, Dependability, negotiations, peer to peer system, Statistical Methods, Testing strategies, Requirements/Specifications, availability and serviceability, Software/Program Verification |
13 | Jonathan Hudson, Jörg Denzinger, Holger Kasinger, Bernhard Bauer |
Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems. |
SASO |
2011 |
DBLP DOI BibTeX RDF |
software architecture, control, dependability, self-organization, risk management |
13 | Grzegorz Borowik, Andrzej Krasniewski |
A Tool for Trading-Off On-Line Error Detection Efficiency with Implementation Cost for Sequential Logic Implemented in FPGAs. |
ICSEng |
2011 |
DBLP DOI BibTeX RDF |
embedded memory block, FPGA, dependability, sequential circuit, concurrent error detection, transient fault |
13 | Vahid Garousi |
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems. |
Softw. Syst. Model. |
2010 |
DBLP DOI BibTeX RDF |
Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development |
|
|