|
|
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 |
105 | Victor R. Basili, Paolo Donzelli, Sima Asgari |
A Unified Model of Dependability: Capturing Dependability in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(6), pp. 19-25, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
real-time response, Unified Model of Dependability, Dependability, availability |
102 | Patrick Edmond, Anurag P. Gupta, Daniel P. Siewiorek, Audrey A. Brennan |
ASSURE: Automated Design for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 555-560, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
75 | Peter Li, Yuhui Chen, Alexander B. Romanovsky |
Measuring the Dependability of Web Services for Use in e-Science Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, pp. 193-205, 2006, Springer, 3-540-68724-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
BLAST services, Service-oriented architecture, reliability, monitoring |
69 | Ravishankar K. Iyer, Zbigniew Kalbarczyk, Mahesh Kalyanakrishnan |
Measurement-based Analysis of Networked System Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Evaluation ![In: Performance Evaluation: Origins and Directions, pp. 161-199, 2000, Springer, 3-540-67193-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
67 | Marco Vieira, Henrique Madeira |
From Performance to Dependability Benchmarking: A Mandatory Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCTC ![In: Performance Evaluation and Benchmarking, First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers, pp. 67-83, 2009, Springer, 978-3-642-10423-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance, metrics, Benchmarking, dependability |
65 | Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko |
How to Enhance UDDI with Dependability Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1023-1028, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependability metadata, service dependability |
65 | Irene Eusgeld, Felix C. Freiling |
Introduction to Dependability Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
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 |
|
61 | Ilkka Norros, Pirkko Kuusela, Pekka Savola |
A Dependability Case Approach to the Assessment of IP Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, August 25-31, 2008, Cap Esterel, France, pp. 426-432, 2008, IEEE Computer Society, 978-0-7695-3329-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Matthias Tichy, Holger Giese |
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 25-50, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
61 | Upkar Varshney, Alisha D. Malloy |
Improving the Dependability of Wireless Networks Using Design Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 26th Annual IEEE Conference on Local Computer Networks (LCN 2001), 14-16 November 2001, Tampa, Florida, USA, Proceedings, pp. 122-131, 2001, IEEE Computer Society, 0-7695-1321-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Heimo Laamanen, Timo O. Alanko, Kimmo E. E. Raatikainen |
Dependability Issues in Mobile Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pp. 7-14, 1999, IEEE Computer Society, 0-7695-0371-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
60 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 464-472, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
embodied interactive video game, flow experience, usability, dependability |
60 | Huipeng Guo, Jinpeng Huai, Yang Li, Ting Deng |
KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 328-342, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptive maintenance, dependability, service composition, Kalman filter |
60 | Gary R. Weckman, Andrew P. Snow, Preeti Rastogi, Maimuna H. Rangwala |
Assessing Wireless Network Dependability through Knowledge Extraction via Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico, pp. 184-189, 2008, IEEE Computer Society, 978-0-7695-3105-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wireless Network, Artificial Neural Networks, Decision Trees, Dependability |
60 | Nik Looker, Jie Xu 0007 |
Dependability Assessment of Grid Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 125-130, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dependability Assessment, Grid, Fault Injection, Globus |
60 | Simona Bernardi 0001, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 115-124, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
60 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], 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 |
60 | Barry W. Boehm, LiGuo Huang, Apurva Jain, Raymond J. Madachy |
The ROI of Software Dependability: The iDAVE Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(3), pp. 54-61, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
benefits realization, business case analysis, reliability, metrics, dependability, cost, return on investment, value-based software engineering, software economics |
60 | Ing-Ray Chen, Ding-Chau Wang, Chih-Ping Chu |
Analyzing User-Perceived Dependability and Performance Characteristics of Voting Algorithms for Managing Replicated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 14(3), pp. 199-219, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
mean wait time to availability, dependability, availability, voting, stochastic Petri nets, quorum, replicated data management |
60 | Erland Jonsson |
Towards an Integrated Conceptual Model of Security and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 646-653, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
component isolation, Java, resource management, software components, JVM |
58 | Chita R. Das, Jong Kim 0001 |
A Unified Task-Based Dependability Model for Hypercube Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(3), pp. 312-324, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
task-based dependability, subcube TBD, reliability, fault tolerant computing, dependability, hypercube, availability, hypercube networks, parallelarchitectures, hypercube architectures |
54 | Rogério de Lemos |
Software architectures for dependable systems: a software engineering perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1065-1066, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, software architecture, dependability, trustworthiness |
54 | Robin E. Bloomfield, Bev Littlewood, David Wright 0001 |
Confidence: Its Role in Dependability Cases for Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 338-346, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha |
Dependability Evaluation of Web Service-Based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings, pp. 166-180, 2006, Springer, 3-540-35362-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Cristian Constantinescu |
Dependability evaluation of a fault-tolerant processor by GSPN modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(3), pp. 468-474, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | João Durães, Henrique Madeira |
Generic Faultloads Based on Software Faults for Dependability Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 285-294, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | João Durães, Marco Vieira, Henrique Madeira |
Dependability Benchmarking of Web-Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 297-310, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Marco Vieira, Henrique Madeira |
Benchmarking the Dependability of Different OLTP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 305-310, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | Katerina Goseva-Popstojanova, Kishor S. Trivedi |
Stochastic Modeling Formalisms for Dependability, Performance and Performability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Evaluation ![In: Performance Evaluation: Origins and Directions, pp. 403-422, 2000, Springer, 3-540-67193-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Beoungil Cho, Hyunsang Youn, Eunseok Lee 0001 |
Software Dependability Analysis Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II, pp. 580-593, 2009, Springer, 978-3-642-02456-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hierarchically Combined Queuing Petri Nets, Reliability, Dependability, Availability |
53 | Yonggang Pang, Huiqiang Wang, Ye Du |
Experiment of Event Injection Technology for Network Dependability Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 141-144, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
event injection, Loadrunner, DDoS, dependability evaluation |
53 | David B. Martin 0001, Mark Hartswood, Roger Slack, Alex Voss |
Achieving Dependability in the Configuration, Integration and Testing of Healthcare Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 15(5-6), pp. 467-499, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
testing, integration, ethnography, dependability, healthcare, configuration |
53 | David M. Nicol, William H. Sanders, Kishor S. Trivedi |
Model-Based Evaluation: From Dependability to Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 1(1), pp. 48-65, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
performability evaluation, stochastic modeling, Dependability evaluation, security evaluation |
53 | Ivan Mura, Andrea Bondavalli |
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(12), pp. 1337-1351, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Phased mission systems, analytical modeling and evaluation, Markov regenerative stochastic Petri nets, performability, dependability, sensitivity analysis, Markov regenerative processes |
53 | Roy A. Maxion, Robert T. Olszewski |
Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 888-906, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software robustness, software engineering, Collaboration, dependability, exception handling, empirical methods, N-version programming, design diversity, safety cases |
51 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
Dependability Engineering of Complex Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 36-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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 |
51 | Sigrid Gürgens, Andreas Fuchs 0002 |
Security and Dependability Solutions for Networks and Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 107-123, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li 0002 |
SERENITY Aware Development of Security and Dependability Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 127-141, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Francisco Sánchez-Cid, Antonio Maña, George Spanoudakis, Christos Kloukinas, Daniel Serrano, Antonio Muñoz 0001 |
Representation of Security and Dependability Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 69-95, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Sigrid Gürgens, Gimena Pujol |
Specification of Security and Dependability Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 49-67, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Jan Jürjens |
Security and Dependability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 21-36, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Spyros Kokolakis, Panagiotis Rizomiliotis, Azzedine Benameur, Smriti Kumar Sinha |
Security and Dependability Solutions for Web Services and Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Dependability for Ambient Intelligence ![In: Security and Dependability for Ambient Intelligence, pp. 97-106, 2009, Springer, 978-0-387-88774-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman |
06371 Abstracts Collection -- From Security to Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Security to Dependability ![In: From Security to Dependability, 10.09. - 15.09.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
51 | Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman |
06371 Executive Summary -- From Security to Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Security to Dependability ![In: From Security to Dependability, 10.09. - 15.09.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
47 | Michael Jiang, Zhihui Yang |
A Model-Driven Approach for Dependable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 100-106, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web services and software component, reliability, Dependability, availability, Meta-model |
47 | Simona Bernardi 0001, José Merseguer, Dorina C. Petriu |
Adding Dependability Analysis Capabilities to the MARTE Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 736-750, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Bev Littlewood |
Limits to Dependability Assurance - A Controversy Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 6, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting |
A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | LiGuo Huang |
A Value-Based Process for Achieving Software Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers, pp. 108-121, 2005, Springer, 3-540-31112-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | William H. Sanders |
Stochastic Methods for Dependability, Performability, and Security Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, pp. 97, 2004, Springer, 3-540-22236-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Anirban Mondal, Yi Lifu, Masaru Kitsuregawa |
On Improving the Performance Dependability of Unstructured P2P Systems via Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings, pp. 601-610, 2004, Springer, 3-540-22936-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase, Arif Merchant, Cipriano A. Santos, John Wilkes |
Lessons and challenges in automating data dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004, pp. 4, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Tudor Dumitras, Deepti Srivastava, Priya Narasimhan |
Architecting and Implementing Versatile Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], pp. 212-231, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Rainer Bischoff 0002, Volker Graefe |
HERMES - an Intelligent Humanoid Robot Designed and Tested for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics VIII [ISER 2002, Sant'Angelo d'Ischia, Italy, 8-11 July 2002], pp. 64-74, 2002, Springer, 978-3-540-00305-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | István Majzik, András Pataricza, Andrea Bondavalli |
Stochastic Dependability Analysis of System Architecture Based on UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 219-244, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
On the Use of Model Checking Techniques for Dependability Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings, pp. 228-237, 2000, IEEE Computer Society, 0-7695-0543-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Eric W. Brehm |
System Dependability Assessment Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 116-119, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
46 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-driven assessment of system dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 487-502, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Dependability, Requirements, Safety, Use cases |
46 | Marco Vieira, Henrique Madeira |
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 231-232, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Experimental dependability evaluation, OLAP, data warehousing |
46 | Jung-Yu Lai, Chun-Chieh Yang, Wei-Shi Tang |
Exploring the effects of dependability on enterprise applications success in e-business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2006 ACM SIGMIS CPR Conference on Computer Personnel Research 2006, April 13-15, 2006, Claremont, California, USA, pp. 244-252, 2006, ACM, 1-59593-349-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
information system success, dependability, e-business, enterprise applications |
46 | Lukás Sekanina |
On dependability of FPGA-based evolvable hardware systems that utilize virtual reconfigurable circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Third Conference on Computing Frontiers, 2006, Ischia, Italy, May 3-5, 2006, pp. 221-228, 2006, ACM, 1-59593-302-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
FPGA, evolutionary algorithms, dependability, evolvable hardware |
46 | José Lino Contreras, Jean-Louis Sourrouille |
Adaptable Objects for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, pp. 181-196, 2003, Springer, 3-540-20224-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Metaobject-based architecture, QoS, Adaptation, Dependability, Soft Real-Time, Active objects |
46 | Stéphanie Mahévas, Gerardo Rubino |
Bound Computation of Dependability and Performance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(5), pp. 399-413, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation |
46 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 231-236, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multiple-Phased Systems, Dependability Modeling and Evaluation, Deterministic and Stochastic Petri Nets, Scheduled Maintenance, Markov Regenerative Processes |
46 | Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini |
Dependability Evaluation: Model and Method Based on Activity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 406-419, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Human Reliability Analysis, Activity Theory, Distributed Cognition, Dependability Evaluation |
46 | Ann T. Tai, Kishor S. Trivedi, Herbert Hecht |
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 2-13, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE |
46 | Silke Draber, Bernhard Eschermann |
Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, pp. 129-140, 1996, Springer, 3-540-61772-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Markov Models, Dependability Analysis, Locomotive, Reliability Analysis, Performance Degradation, FMEA |
46 | Luca Simoncini |
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings, pp. 227-233, 2002, Springer, 3-540-00012-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang 0001 |
Hardware Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
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 |
|
45 | Paolo Donzelli, Marvin V. Zelkowitz, Victor R. Basili, Dan Allard, Kenneth N. Meyer |
Evaluating COTS Component Dependability in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(4), pp. 46-53, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
COTS selection and integration, COTS dependability, dependability elicitation, context-focused empirical evaluation |
44 | H. Michael Chung |
Dependability in Data Mining: A Perspective from the Cost of Making Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 944-949, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
error type, decision making cost, data mining, dependability, distributed data mining |
44 | Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini |
E-voting: Dependability Requirements and Design for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 988-995, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008, pp. 85-90, 2008, IEEE Computer Society, 978-0-7695-3138-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin |
Error Modeling in Dependable Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1309-1314, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
error classification, dependability, component-based systems, error propagation, error modeling |
40 | Odorico Machado Mendizabal, Fernando Luís Dotti |
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 275-290, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Object-based graph grammars, non-functional analysis, fault-tolerance, distributed systems, dependability |
40 | LiGuo Huang, Barry W. Boehm |
Using iDAVE to determine availability requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-4, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reliability, dependability, availability, quality, cost, value |
40 | Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu |
Towards Dependable Home Networking: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 43-48, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Power line control, Lookup service, Publish/subscribe eventing, Heterogeneous protocols, Security, Reliability, Manageability, Dependability, Self-stabilization, Extensibility, Heterogeneous networks, Home networking, Remote control, Home automation, Heterogeneous devices, Heartbeats, Soft states, Device discovery |
40 | Klaus D. Heidtmann |
Evaluation of Video Communication over Packet Switching Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings, pp. 24-41, 1999, Springer, 3-540-66483-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time video communication, best-effort network, forward error control, quality of service, multimedia system, visual quality, dependability evaluation |
40 | Xu Zhang 0016, Chuang Lin 0002, Xiangzhen Kong |
Model-Driven Dependability Analysis of Virtualization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 199-204, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Jörg Henkel, Vijaykrishnan Narayanan, Sri Parameswaran, Roshan G. Ragel |
Security and Dependability of Embedded Systems: A Computer Architects' Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2009: Improving Productivity through Higher Abstraction, The 22nd International Conference on VLSI Design, New Delhi, India, 5-9 January 2009, pp. 30-32, 2009, IEEE Computer Society, 978-0-7695-3506-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Gabriella Carrozza, Marcello Cinque |
The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings, pp. 336-347, 2008, Springer, 978-3-540-87784-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Luciano Baresi, Sam Guinea, Marco Plebani |
Business Process Monitoring for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 337-361, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders |
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 95-104, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza |
A Data Mining Approach to Identify Key Factors in Dependability Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 263-280, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Zonghua Zhang, Hong Shen 0001, Xavier Défago, Yingpeng Sang |
A Brief Comparative Study on Analytical Models of Computer System Dependability and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 493-497, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Mieke Massink, Joost-Pieter Katoen, Diego Latella |
Model Checking Dependability Attributes of Wireless Group Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 711-720, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Neeraj Suri |
On Dependability Driven Software and Hardware Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFEUS ![In: 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004, pp. 45-49, 2004, IEEE Computer Society, 0-7695-2123-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Henrique Madeira, João Pedro Costa, Marco Vieira |
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 86-91, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli |
Petri Nets and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 125-179, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Valérie Issarny, Apostolos V. Zarras |
Software Architecture and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 259-286, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Christof Fetzer, Karin Högstedt |
Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 66-73, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | István Majzik, Gábor Huszerl |
Towards Dependability Modeling of FT-CORBA Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings, pp. 121-139, 2002, Springer, 3-540-00012-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi |
Specification-Level Integration of Simulation and Dependability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 245-266, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Frank van der Linden 0001 |
Dependability Experience in Philips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 293-307, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Soufiane Noureddine, Axel Lehmann 0001 |
Effective Values: An Approach for Characterizing Dependability Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, pp. 162-170, 2001, IEEE Computer Society, 0-7695-1086-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun |
Dependability of Computer Control Systems in Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 165-175, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
40 | Dong Tang, Ravishankar K. Iyer |
MEASURE+ - A Measurement-Based Dependability Analysis Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Clara, California, USA, May 10-14, 1993, pp. 110-121, 1993, ACM, 0-89791-580-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Michaela Huhn, Axel Zechner |
Analysing Dependability Case Arguments Using Quality Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 118-131, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures |
39 | David B. Lomet |
Dependability, Abstraction, and Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings, pp. 1-21, 2009, Springer, 978-3-642-00886-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications |
39 | Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Stefano Russo 0001 |
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 245-252, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependability, Bluetooth |
Displaying result #1 - #100 of 4885 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|