|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2206 occurrences of 1030 keywords
|
|
|
|
|
Results
Found 2549 publication records. Showing 2549 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko |
How to Enhance UDDI with Dependability Capabilities.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
dependability metadata, service dependability |
| 4 | H. Michael Chung |
Dependability in Data Mining: A Perspective from the Cost of Making Decisions.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
error type, decision making cost, data mining, dependability, distributed data mining |
| 4 | Paolo Donzelli, Marvin V. Zelkowitz, Victor R. Basili, Dan Allard, Kenneth N. Meyer |
Evaluating COTS Component Dependability in Context.  |
IEEE Software  |
2005 |
DBLP DOI BibTeX RDF |
COTS selection and integration, COTS dependability, dependability elicitation, context-focused empirical evaluation |
| 4 | Irene Eusgeld, Felix C. Freiling |
Introduction to Dependability Metrics.  |
Dependability Metrics ![In: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005], pp. 1-4, 2005, Springer, 978-3-540-68946-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
| 4 | Victor R. Basili, Paolo Donzelli, Sima Asgari |
A Unified Model of Dependability: Capturing Dependability in Context.  |
IEEE Software  |
2004 |
DBLP DOI BibTeX RDF |
real-time response, Unified Model of Dependability, Dependability, availability |
| 4 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
Dependability Engineering of Complex Computing Systems.  |
ICECCS  |
2000 |
DBLP DOI BibTeX RDF |
dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal |
| 4 | Chita R. Das, Jong Kim |
A Unified Task-Based Dependability Model for Hypercube Computers.  |
IEEE Trans. Parallel Distrib. Syst.  |
1992 |
DBLP DOI BibTeX RDF |
task-based dependability, subcube TBD, reliability, fault tolerant computing, dependability, hypercube, availability, hypercube networks, parallelarchitectures, hypercube architectures |
| 3 | Arash Rezaei, Hadi Salimi, Mohsen Sharifi |
Improving Software Dependability Using System-Level Virtualization: A Survey.  |
AINA Workshops  |
2010 |
DBLP DOI BibTeX RDF |
attributes of dependability, fault tolerance, Virtualization, dependability |
| 3 | Xin Chen, James Warren, Fang Han, Xubin He |
Characterizing the Dependability of Distributed Storage Systems Using a Two-Layer Hidden Markov Model-Based Approach.  |
NAS  |
2010 |
DBLP DOI BibTeX RDF |
hidden markov model, dependability, dependability, distributed storage systems |
| 3 | Sigrid Gürgens, Gimena Pujol |
Specification of Security and Dependability Properties.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Spyros Kokolakis, Panagiotis Rizomiliotis, Azzedine Benameur, Smriti Kumar Sinha |
Security and Dependability Solutions for Web Services and Workflows.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Francisco Sánchez-Cid, Antonio Maña, George Spanoudakis, Christos Kloukinas, Daniel Serrano, Antonio Muñoz |
Representation of Security and Dependability Solutions.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li 0002 |
SERENITY Aware Development of Security and Dependability Solutions.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Jan Jürjens |
Security and Dependability Engineering.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Sigrid Gürgens, Andreas Fuchs |
Security and Dependability Solutions for Networks and Devices.  |
Security and Dependability for Ambient Intelligence  |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | David B. Lomet |
Dependability, Abstraction, and Programming.  |
DASFAA  |
2009 |
DBLP DOI BibTeX RDF |
application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications |
| 3 | Marco Vieira, Henrique Madeira |
From Performance to Dependability Benchmarking: A Mandatory Path.  |
TPCTC  |
2009 |
DBLP DOI BibTeX RDF |
performance, metrics, Benchmarking, dependability |
| 3 | Michaela Huhn, Axel Zechner |
Analysing Dependability Case Arguments Using Quality Models.  |
SAFECOMP  |
2009 |
DBLP DOI BibTeX RDF |
Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures |
| 3 | Ming-Yueh Hwang, Jon-Chao Hong, Jyh-Tsorng Jong, Chia-Kun Lee, Hsing-Yun Chang |
From Fingers to Embodiment: A Study on the Relations of the Usability, Dependability of the Embodied Interactive Video Games and the Elders' Flow Experience.  |
Edutainment  |
2009 |
DBLP DOI BibTeX RDF |
embodied interactive video game, flow experience, usability, dependability |
| 3 | Beoungil Cho, Hyunsang Youn, Eunseok Lee |
Software Dependability Analysis Methodology.  |
ICCSA  |
2009 |
DBLP DOI BibTeX RDF |
Hierarchically Combined Queuing Petri Nets, Reliability, Dependability, Availability |
| 3 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-driven assessment of system dependability.  |
Software and System Modeling  |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Dependability, Requirements, Safety, Use cases |
| 3 | Gary R. Weckman, Andrew P. Snow, Preeti Rastogi, M. Rangwala |
Assessing Wireless Network Dependability through Knowledge Extraction via Decision Trees.  |
ICONS  |
2008 |
DBLP DOI BibTeX RDF |
Wireless Network, Artificial Neural Networks, Decision Trees, Dependability |
| 3 | Huipeng Guo, Jinpeng Huai, Yang Li, Ting Deng |
KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services.  |
CAiSE  |
2008 |
DBLP DOI BibTeX RDF |
adaptive maintenance, dependability, service composition, Kalman filter |
| 3 | Jeferson L. R. Souza, Frank Siqueira |
Providing dependability for web services.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
web services, fault tolerance, dependability |
| 3 | Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Stefano Russo |
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel.  |
PDP  |
2008 |
DBLP DOI BibTeX RDF |
dependability, Bluetooth |
| 3 | Boudewijn R. Haverkort |
Performance and Dependability Evaluation: Successes, Failures and Challenges.  |
EPEW  |
2008 |
DBLP DOI BibTeX RDF |
security, performance evaluation, model checking, verification, scalability, Markov chains, Dependability evaluation |
| 3 | Lucian Prodan, Mihai Udrescu, Oana Boncalo, Mircea Vladutiu |
Design for dependability in emerging technologies.  |
JETC  |
2007 |
DBLP DOI BibTeX RDF |
bio-inspired digital design, fault-tolerance assessment, reliability, Dependability, quantum computing, emerging technologies, evolvable hardware, bio-inspired computing, Embryonics |
| 3 | Salvatore Distefano, Antonio Puliafito |
Modeling Dependability of Dynamic Computing Systems.  |
ICIC  |
2007 |
DBLP DOI BibTeX RDF |
Dynamic Reliability Block Diagrams, Dynamic Systems, Dependability Modeling, Dynamic Fault Trees |
| 3 | Marco Vieira, Henrique Madeira |
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?  |
LADC  |
2007 |
DBLP DOI BibTeX RDF |
Experimental dependability evaluation, OLAP, data warehousing |
| 3 | Yonggang Pang, Huiqiang Wang, Ye Du |
Experiment of Event Injection Technology for Network Dependability Evaluation.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
event injection, Loadrunner, DDoS, dependability evaluation |
| 3 | Nik Looker, Jie Xu |
Dependability Assessment of Grid Middleware.  |
DSN  |
2007 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Grid, Fault Injection, Globus |
| 3 | Xukai Zou, Yuan-Shun Dai, Bradley N. Doebbeling, Mingrui Qi |
Dependability and Security in Medical Information System.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
Medical Information System (MIS), Health Information Technology (HIT), Security, Dependability, Tele-medicine |
| 3 | Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Thomas Damiano |
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems.  |
ISAS  |
2007 |
DBLP DOI BibTeX RDF |
Dependability Design Tools, Real-time SOA systems, Model-Driven Engineering, Generative programming |
| 3 | Lorenz Froihofer, Johannes Osrael, Karl M. Goeschka |
Middleware/application interactions to support adaptive dependability.  |
MAI  |
2007 |
DBLP DOI BibTeX RDF |
constraint consistency, middleware/application interaction, integrity, web, dependability, replication, availability |
| 3 | Lorenz Froihofer, Karl M. Goeschka, Johannes Osrael |
Middleware Support for Adaptive Dependability.  |
Middleware  |
2007 |
DBLP DOI BibTeX RDF |
constraint consistency, adaptivity, Middleware, dependability, replication, inconsistency |
| 3 | Yudistira Asnar, Paolo Giorgini, Fabio Massacci, Nicola Zannone |
From Trust to Dependability through Risk Analysis.  |
ARES  |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | Lorenz Froihofer, Johannes Osrael, Karl M. Goeschka |
Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems.  |
ARES  |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | Simona Bernardi, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems.  |
WOSP  |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
| 3 | Casper Bruun Jensen |
The Wireless Nursing Call System: Politics of Discourse, Technology and Dependability in a Pilot Project.  |
Computer Supported Cooperative Work  |
2006 |
DBLP DOI BibTeX RDF |
dependability, technology, health care, discourse, politics |
| 3 | David Martin, Mark Hartswood, Roger Slack, Alex Voss |
Achieving Dependability in the Configuration, Integration and Testing of Healthcare Technologies.  |
Computer Supported Cooperative Work  |
2006 |
DBLP DOI BibTeX RDF |
testing, integration, ethnography, dependability, healthcare, configuration |
| 3 | Wojciech Zamojski, Dariusz Caban |
Introduction to the Dependability Modeling of Computer Systems.  |
DepCoS-RELCOMEX  |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman |
06371 Abstracts Collection -- From Security to Dependability.  |
From Security to Dependability  |
2006 |
DBLP BibTeX RDF |
|
| 3 | Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman |
06371 Executive Summary -- From Security to Dependability.  |
From Security to Dependability  |
2006 |
DBLP BibTeX RDF |
|
| 3 | Lucian Prodan, Mihai Udrescu, Mircea Vladutiu |
A dependability perspective on emerging technologies.  |
Conf. Computing Frontiers  |
2006 |
DBLP DOI BibTeX RDF |
bio-inspired digital design, fault-tolerance assessment, reliability, dependability, quantum computing, emerging technologies, evolvable hardware, bio-inspired computing, embryonics |
| 3 | Lukás Sekanina |
On dependability of FPGA-based evolvable hardware systems that utilize virtual reconfigurable circuits.  |
Conf. Computing Frontiers  |
2006 |
DBLP DOI BibTeX RDF |
FPGA, evolutionary algorithms, dependability, evolvable hardware |
| 3 | Peter C. Lockemann, Jens Nimis |
Agent dependability as an architectural issue.  |
AAMAS  |
2006 |
DBLP DOI BibTeX RDF |
layered software architecture, multiagent system, dependability |
| 3 | Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog |
Towards a Stochastic Model for Integrated Security and Dependability Evaluation.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini |
E-voting: Dependability Requirements and Design for Dependability.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Erland Jonsson |
Towards an Integrated Conceptual Model of Security and Dependability.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
component isolation, Java, resource management, software components, JVM |
| 3 | Sam Maes, Philippe Leray |
Multi-Agent Causal Models for Dependability Analysis.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
|
| 3 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs.  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], pp. 14-38, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evaluation, model transformation, AADL, dependability modeling, GSPN |
| 3 | Jung-Yu Lai, Chun-Chieh Yang, Wei-Shi Tang |
Exploring the effects of dependability on enterprise applications success in e-business.  |
CPR  |
2006 |
DBLP DOI BibTeX RDF |
information system success, dependability, e-business, enterprise applications |
| 3 | Sheikh Iqbal Ahamed, Mohammad Zulkernine, Suresh Anamanamuri |
A Dependable Device Discovery Approach for Pervasive Computing Middleware.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
Dependability and Availability, Pervasive computing, Middleware services, Device discovery |
| 3 | Paul Townend, Jie Xu |
Dependability in Grids.  |
IEEE Distributed Systems Online  |
2005 |
DBLP DOI BibTeX RDF |
grid computing, dependability |
| 3 | Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang 0001 |
Hardware Reliability.  |
Dependability Metrics ![In: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005], pp. 59-103, 2005, Springer, 978-3-540-68946-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
| 3 | Daniel P. Siewiorek, Ram Chillarege, Zbigniew Kalbarczyk |
Reflections on Industry Trends and Experimental Research in Dependability.  |
IEEE Trans. Dependable Sec. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
Experimental research in dependability and security, computing industry trends |
| 3 | David M. Nicol, William H. Sanders, Kishor S. Trivedi |
Model-Based Evaluation: From Dependability to Security.  |
IEEE Trans. Dependable Sec. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
performability evaluation, stochastic modeling, Dependability evaluation, security evaluation |
| 3 | Barry W. Boehm, LiGuo Huang, Apurva Jain, Raymond J. Madachy |
The ROI of Software Dependability: The iDAVE Model.  |
IEEE Software  |
2004 |
DBLP DOI BibTeX RDF |
benefits realization, business case analysis, reliability, metrics, dependability, cost, return on investment, value-based software engineering, software economics |
| 3 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale |
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.  |
IEEE Trans. Software Eng.  |
2003 |
DBLP DOI BibTeX RDF |
parametric fault tree, stochastic well-formed nets, Dependability analysis |
| 3 | Mei Lin, YongSen Xu |
An adaptive dependability model of component-based software.  |
ACM SIGSOFT Software Engineering Notes  |
2003 |
DBLP DOI BibTeX RDF |
dependability, BBNs, component-based software |
| 3 | Ing-Ray Chen, Ding-Chau Wang, Chih-Ping Chu |
Analyzing User-Perceived Dependability and Performance Characteristics of Voting Algorithms for Managing Replicated Data.  |
Distributed and Parallel Databases  |
2003 |
DBLP DOI BibTeX RDF |
mean wait time to availability, dependability, availability, voting, stochastic Petri nets, quorum, replicated data management |
| 3 | José Lino Contreras, Jean-Louis Sourrouille |
Adaptable Objects for Dependability.  |
LADC  |
2003 |
DBLP DOI BibTeX RDF |
Metaobject-based architecture, QoS, Adaptation, Dependability, Soft Real-Time, Active objects |
| 3 | Régis Leveugle, Lörinc Antoni, Béla Fehér |
Dependability Analysis: A New Application for Run-Time Reconfiguration.  |
IPDPS  |
2003 |
DBLP DOI BibTeX RDF |
hardware emulation, fault injection, dependability analysis, Digital circuits, run-time reconfiguration |
| 3 | Marion G. Ceruti, Joan L. Kaina |
Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios.  |
WORDS Fall  |
2003 |
DBLP DOI BibTeX RDF |
Force-Net, single integrated picture, timecriticality, metrics, sensors, dependability, Data fusion |
| 3 | Roshanak Roshandel, Nenad Medvidovic |
Multi-view Software Component Modeling for Dependability.  |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 286-306, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
the Quartet, reliability, Software architecture, dependability, software component |
| 3 | Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles |
Dependability of COTS Microkernel-Based Systems.  |
IEEE Trans. Computers  |
2002 |
DBLP DOI BibTeX RDF |
COTS microkernels, dependability characterization, error confinement, fault injection, wrapping |
| 3 | Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta |
Improving Dependability of Component-Based Systems via Multi-versioning Connectors.  |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 37-60, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
architectural middleware, Software architecture, dependability, software component, architectural style, software connector |
| 3 | Ivan Mura, Andrea Bondavalli |
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.  |
IEEE Trans. Computers  |
2001 |
DBLP DOI BibTeX RDF |
Phased mission systems, analytical modeling and evaluation, Markov regenerative stochastic Petri nets, performability, dependability, sensitivity analysis, Markov regenerative processes |
| 3 | Stephanie Mahévas, Gerardo Rubino |
Bound Computation of Dependability and Performance Measures.  |
IEEE Trans. Computers  |
2001 |
DBLP DOI BibTeX RDF |
bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation |
| 3 | Régis Leveugle |
A Low-Cost Hardware Approach to Dependability Validation of Ips. (PDF / PS)  |
DFT  |
2001 |
DBLP DOI BibTeX RDF |
VHDL, emulation, fault injection, dependability analysis |
| 3 | Yinong Chen, Zhongshi He |
Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems. (PDF / PS)  |
ISADS  |
2001 |
DBLP DOI BibTeX RDF |
Distributed system, dependability, Markov model, fault-tolerant protocol |
| 3 | Roy A. Maxion, Robert T. Olszewski |
Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
software robustness, software engineering, Collaboration, dependability, exception handling, empirical methods, N-version programming, design diversity, safety cases |
| 3 | Meng-Lai Yin, Douglas M. Blough, Lubomir Bic |
A Dependability Analysis for Systems with Global Spares.  |
IEEE Trans. Computers  |
2000 |
DBLP DOI BibTeX RDF |
global spares, nonexponential failures, graceful degradation, renewal processes, Dependability modeling |
| 3 | Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini |
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.  |
DSN  |
2000 |
DBLP DOI BibTeX RDF |
Multiple-Phased Systems, Dependability Modeling and Evaluation, Deterministic and Stochastic Petri Nets, Scheduled Maintenance, Markov Regenerative Processes |
| 3 | Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini |
Dependability Evaluation: Model and Method Based on Activity Theory.  |
SAFECOMP  |
2000 |
DBLP DOI BibTeX RDF |
Human Reliability Analysis, Activity Theory, Distributed Cognition, Dependability Evaluation |
| 3 | Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno |
Evaluating System Dependability in a Co-Design Framework.  |
DATE  |
2000 |
DBLP DOI BibTeX RDF |
Dependability, Fault Injection, Safety-Critical Systems, HW/SW Codesign |
| 3 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao |
Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation.  |
IEEE Trans. Software Eng.  |
1999 |
DBLP DOI BibTeX RDF |
Hierarchical simulation, accurate fault modeling, dependability evaluation, fault dictionaries |
| 3 | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis |
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. (PDF / PS)  |
HASE  |
1999 |
DBLP DOI BibTeX RDF |
stochasic reward nets, Embedded systems, statecharts, dependability analysis |
| 3 | Joao Carreira, Henrique Madeira, João Gabriel Silva |
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers.  |
IEEE Trans. Software Eng.  |
1998 |
DBLP DOI BibTeX RDF |
real time, Fault injection, dependability evaluation, RISC processors |
| 3 | Ann T. Tai, Kishor S. Trivedi, Herbert Hecht |
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. (PDF / PS)  |
HASE  |
1997 |
DBLP DOI BibTeX RDF |
Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE |
| 3 | Silke Draber, Bernhard Eschermann |
Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives.  |
EDCC  |
1996 |
DBLP DOI BibTeX RDF |
Markov Models, Dependability Analysis, Locomotive, Reliability Analysis, Performance Degradation, FMEA |
| 3 | Richard C. Scalzo, Michelle M. Hugue |
A Framework for Dependability Specification.  |
ICECCS  |
1996 |
DBLP DOI BibTeX RDF |
real-time, framework, specification, dependability |
| 3 | Noé Lopez-Benitez |
Dependability Modeling and Analysis of Distributed Programs.  |
IEEE Trans. Software Eng.  |
1994 |
DBLP DOI BibTeX RDF |
program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults |
| 3 | Dong Tang, Ravishankar K. Iyer |
Dependability Measurement and Modeling of a Multicomputer System.  |
IEEE Trans. Computers  |
1993 |
DBLP DOI BibTeX RDF |
measurement-based analysis, error data, DEC VAXcluster, system dependability characteristics, hazard rate, performance loss, transient reward rate, system unavailability, performance evaluation, modeling, fault tolerant computing, multiprocessing systems, correlation analysis, multicomputer system, Markov reward models, dependability measurement |
| 3 | Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell |
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.  |
IEEE Trans. Computers  |
1993 |
DBLP DOI BibTeX RDF |
fault tolerance process, fault occurrence process, distributed fault-tolerant architecture, Esprit Delta-4 Project, fault tolerant computing, distributed processing, fault injection, fault-tolerant systems, test sequence, dependability evaluation, dependability measures |
| 3 | Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell |
Fault Injection for Dependability Validation: A Methodology and Some Applications.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology |
| 2 | Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale |
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems.  |
ECBS  |
2011 |
DBLP DOI BibTeX RDF |
Distributed Real-time Embedded, Dependability, Model-driven Engineering, Component-based Systems |
| 2 | Jiwei Huang, Chuang Lin, Xiangzhen Kong, Yemei Zhu |
Modeling and Analysis of Dependability Attributes of Service Computing Systems.  |
IEEE SCC  |
2011 |
DBLP DOI BibTeX RDF |
dependability attributes, semi-Markov process, service computing |
| 2 | Hans G. Kerkhoff, Xiao Zhang |
Design of an Infrastructural IP Dependability Manager for a Dependable Reconfigurable Many-Core Processor.  |
DELTA  |
2010 |
DBLP DOI BibTeX RDF |
DfX, reliability, SoC, dependability, reconfiguration, availability, BIST, many-core processors |
| 2 | Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa |
A Dependability Case Editor with Pattern Library.  |
HASE  |
2010 |
DBLP DOI BibTeX RDF |
assurance cases, dependability |
| 2 | Monica Dixit, Antonio Casimiro |
Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.  |
SRDS  |
2010 |
DBLP DOI BibTeX RDF |
adaptation, dependability, failure detection |
| 2 | Zhe Chen, Gilles Motet |
Separating Functional and Dependability Requirements of Embedded Systems.  |
CIT  |
2010 |
DBLP DOI BibTeX RDF |
buchi automata, model monitoring, model checking, reliability, dependability, safety, requirements evolution |
| 2 | Roberto Natella, Domenico Cotroneo |
Emulation of Transient Software Faults for Dependability Assessment: A Case Study.  |
EDCC  |
2010 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Mandelbugs, Fault Tolerance, Software Faults, Software Fault Injection |
| 2 | Ali Asim, Sébastien Tixeuil |
Advanced faults patterns for WSN dependability benchmarking.  |
MSWiM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Salvatore Distefano, Antonio Puliafito |
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees.  |
IEEE Trans. Dependable Sec. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Dimitris Gizopoulos |
Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement.  |
IEEE Trans. Dependable Sec. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker |
Compositional Dependability Evaluation for STATEMATE.  |
IEEE Trans. Software Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander Romanovsky |
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Vicente Chirivella, Rosa Alcover, Jose Flich, José Duato |
Dependability Analysis of a Fault-Tolerant Network Reconfiguring Strategy.  |
Euro-Par  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Romain Rouvoy, Frank Eliassen, Mikaël Beauvois |
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
planning-based adaptation, quality of service, aspect-oriented programming, component-based software engineering |
Displaying result #1 - #100 of 2549 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|