|
|
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 |
33 | Elisabeth A. Strunk, John C. Knight |
Dependability through Assured Reconfiguration in Embedded System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 3(3), pp. 172-187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, formal methods, Reconfiguration, concurrent systems |
33 | Shariful Islam, Robert Lindstrom, Neeraj Suri |
Dependability Driven Integration of Mixed Criticality SW Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 485-495, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Michel Cukier, Ioana Rus |
Workshop on Empirical Evaluation of Dependability and Security (WEEDS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings, pp. 593, 2006, IEEE Computer Society, 0-7695-2607-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota |
Dependability and Flexibility Centered Approach for Composite Web Services Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 163-182, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Stavros Isaiadis, Vladimir Getov |
Dependability in Hybrid Grid Systems: A Virtual Clusters Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
John Vincent Atanasoff Symposium ![In: 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 3-6 October 2006, Sofia, Bulgaria, pp. 52-57, 2006, IEEE Computer Society, 0-7695-2643-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski |
Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 10-12 July 2006, Como, Italy, pp. 219-228, 2006, IEEE Computer Society, 0-7695-2620-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002 |
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. ![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. 188-209, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Martin Neil, Manesh Tailor, Norman E. Fenton, David Marquez, Peter Stewart Hearty |
Modeling Dependable Systems using Hybrid Bayesian Networks. ![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. 817-823, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Marc Fisher II, Gregg Rothermel |
The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
end-user programming, end-user software engineering |
33 | Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh |
An architectural pattern for non-functional dependability requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software architecture, aspects, architecture patterns, nonfunctional requirements |
33 | Jean-Claude Laprie |
Resilience for the Scalability of Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA, pp. 5-6, 2005, IEEE Computer Society, 0-7695-2326-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Brendan Hall, Kevin Driscoll 0001, Michael Paulitsch, Samar Dajani-Brown |
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 298-307, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Arshad Jhumka, Stephan Klaus, Sorin A. Huss |
A Dependability-Driven System-Level Design Approach for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 372-377, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Barry Porter, Geoff Coulson |
A Generic Approach to Dependability in Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 18-19, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Paolo Donzelli, Daniel Hirschbach, Victor R. Basili |
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 315-324, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mark Blythe, Darren J. Reed, Peter C. Wright, Andrew F. Monk |
Critical perspectives on dependability: an older person's experience of assistive technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 169-172, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Flavio De Paoli, Leonardo Mariani |
Dependability in Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 8(4), pp. 54-61, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre |
Using Model Checking to Assess the Dependability of Agent-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 19(5), pp. 62-70, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Charles P. Shelton, Philip Koopman |
Improving System Dependability with Functional Alternatives. ![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. 295-, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Juan-Carlos Ruiz-Garcia, Pedro Yuste, Pedro J. Gil, Lenin Lemus |
On Benchmarking the Dependability of Automotive Engine Control Applications. ![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. 857-866, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | John S. Fitzgerald |
Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers, pp. 123, 2004, Springer, 3-540-25053-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Marco Vieira, Henrique Madeira |
Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 202-209, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Nawal Addouche, Christian Antoine, Jacky Montmain |
UML models for dependability analysis of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5209-5214, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Christopher Martin 0004, Philip Koopman |
Representing User Workarounds as a Component of System Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 353-362, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche |
Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. ![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. 469-478, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Tianjun Shi, Xudong He |
A Methodology for Dependability and Performability Analysis in SAM. ![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. 679-688, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi |
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. ![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. 521-528, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield |
A Dependability Model for Domestic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 103-115, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Christof Eberst, Thomas Herbig |
On the Application of the Concept of Dependability for Design and Analysis of Vision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings, pp. 290-303, 2003, Springer, 3-540-00921-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Karama Kanoun |
Dependability Benchmarking: How Far Are We? ![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. 1, 2003, Springer, 3-540-20224-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Domenico Cotroneo, Cristiano di Flora, Stefano Russo 0001 |
Improving Dependability of Service Oriented Architectures for Pervasive Computing. ![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. 74-81, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Titos Saridakis |
Dependability and Configurability: Partners or Competitors in Pervasive Computing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings, pp. 309-320, 2002, Springer, 3-540-44157-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield |
Dependability as Ordinary Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings, pp. 32-43, 2002, Springer, 3-540-44157-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Dependability Analysis of a Client/Server Software System with Rejuvenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA, pp. 171-182, 2002, IEEE Computer Society, 0-7695-1763-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Jean Arlat |
From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Eric Marsden, Jean-Charles Fabre, Jean Arlat |
Dependability of CORBA Systems: Service Characterization by Fault Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 276-285, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Andrea Bondavalli, Ivan Mura, István Majzik |
Automated Dependability Analysis of UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France, pp. 139-, 1999, IEEE Computer Society, 0-7695-0207-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Laurence Rognin, Jean-Paul Blanquart |
Impact of Communication on Systems Dependability: Human Factors Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 113-124, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mourad Rabah, Karama Kanoun |
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. ![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. 42-62, 1999, Springer, 3-540-66483-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Inhwan Lee, Ravishankar K. Iyer |
Software Dependability in the Tandem GUARDIAN System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 455-467, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fault categorization, operational phase, Tandem GUARDIAN System, Measurement, software reliability, software fault tolerance, recurrence |
33 | Richard G. Hamlet |
Foundations of Software Testing: Dependability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 128-139, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Xukai Zou, Yuan-Shun Dai, Bradley N. Doebbeling, Mingrui Qi |
Dependability and Security in Medical Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 549-558, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Medical Information System (MIS), Health Information Technology (HIT), Security, Dependability, Tele-medicine |
32 | Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Thomas Damiano |
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings, pp. 127-144, 2007, Springer, 978-3-540-72735-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dependability Design Tools, Real-time SOA systems, Model-Driven Engineering, Generative programming |
32 | Lorenz Froihofer, Johannes Osrael, Karl M. Göschka |
Middleware/application interactions to support adaptive dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAI ![In: Proceedings of the 1st Workshop on Middleware-Application Interaction, MAI 2007, in conjunction with Euro-Sys 2007, Lisbon, Portugal, March 20, 2007, pp. 31-36, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraint consistency, middleware/application interaction, integrity, web, dependability, replication, availability |
32 | Sheikh Iqbal Ahamed, Mohammad Zulkernine, Suresh Anamanamuri |
A Dependable Device Discovery Approach for Pervasive Computing Middleware. ![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. 66-73, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Dependability and Availability, Pervasive computing, Middleware services, Device discovery |
32 | Paul Townend, Jie Xu 0007 |
Dependability in Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 6(12), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
grid computing, dependability |
32 | Daniel P. Siewiorek, Ram Chillarege, Zbigniew Kalbarczyk |
Reflections on Industry Trends and Experimental Research in Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 1(2), pp. 109-127, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Experimental research in dependability and security, computing industry trends |
32 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(3), pp. 270-287, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
parametric fault tree, stochastic well-formed nets, Dependability analysis |
32 | Régis Leveugle, Lörinc Antoni, Béla Fehér |
Dependability Analysis: A New Application for Run-Time Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 173, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
hardware emulation, fault injection, dependability analysis, Digital circuits, run-time reconfiguration |
32 | Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez 0001, Frédéric Salles |
Dependability of COTS Microkernel-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(2), pp. 138-163, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
COTS microkernels, dependability characterization, error confinement, fault injection, wrapping |
32 | Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta |
Improving Dependability of Component-Based Systems via Multi-versioning Connectors. ![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. 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 |
32 | Yinong Chen, Zhongshi He |
Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 176-186, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Distributed system, dependability, Markov model, fault-tolerant protocol |
32 | Régis Leveugle |
A Low-Cost Hardware Approach to Dependability Validation of Ips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 242-249, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
VHDL, emulation, fault injection, dependability analysis |
32 | Meng-Lai Yin, Douglas M. Blough, Lubomir Bic |
A Dependability Analysis for Systems with Global Spares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(9), pp. 958-963, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
global spares, nonexponential failures, graceful degradation, renewal processes, Dependability modeling |
32 | Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno |
Evaluating System Dependability in a Co-Design Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 586-590, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Dependability, Fault Injection, Safety-Critical Systems, HW/SW Codesign |
32 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(5), pp. 619-632, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Hierarchical simulation, accurate fault modeling, dependability evaluation, fault dictionaries |
32 | João Carreira, Henrique Madeira, João Gabriel Silva |
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(2), pp. 125-136, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
real time, Fault injection, dependability evaluation, RISC processors |
32 | Richard C. Scalzo, Michelle M. Hugue |
A Framework for Dependability Specification. ![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. 301-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time, framework, specification, dependability |
32 | Lorenz Froihofer, Johannes Osrael, Karl M. Göschka |
Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 443-450, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Wojciech Zamojski, Dariusz Caban |
Introduction to the Dependability Modeling of Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland, pp. 100-109, 2006, IEEE Computer Society, 0-7695-2565-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog |
Towards a Stochastic Model for Integrated Security and Dependability Evaluation. ![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. 156-165, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Sam Maes, Philippe Leray 0001 |
Multi-Agent Causal Models for Dependability Analysis. ![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. 794-798, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu |
SoC-level risk assessment using FMEA approach in system design with SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fourth International Symposium on Industrial Embedded Systems, SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8-10, 2009, pp. 82-89, 2009, IEEE, 978-1-4244-4110-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann |
Foraging for Better Deployment of Replicated Service Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings, pp. 87-101, 2009, 978-3-642-02163-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Reuter 0001 |
Dependable Systems - Wishful Thinking or Realistic Expectation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings, pp. 13, 2008, Springer, 978-3-540-78941-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira 0001, Alexander B. Romanovsky |
Special track on Dependable and Adaptive Distributed Systems: editorial message. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2167-2168, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle |
A modelling and simulation based process for dependable systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(4), pp. 437-451, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Towards software architecture-based regression testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems |
28 | Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle |
A Modelling and Simulation Based Approach to Dependable System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 217-231, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Rogério de Lemos, Paulo Asterio de Castro Guerra |
Software Architectures for Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings, pp. 263-264, 2005, Springer, 3-540-29572-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Anneliese Amschler Andrews, Per Runeson, Robert B. France |
Requirements Trade-offs During UML Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 282-292, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Aaron B. Brown, Leonard Chung, William Kakes, Calvin Ling, David A. Patterson 0001 |
Experience with Evaluating Human-Assisted Recovery Processes. ![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. 405-410, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Silke Kuball, John H. R. May |
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 161-172, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Malcolm Mandviwalla, Nian-Feng Tzeng |
DRA: A Dependable Architecture for High-Performance Routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 15-18 August 2004, Montreal, Quebec, Canada, pp. 265-272, 2004, IEEE Computer Society, 0-7695-2198-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky |
Dependable Composite Web Services with Components Upgraded Online. ![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. 92-121, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura |
Service-Level Availability Estimation of GPRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 2(3), pp. 233-247, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
outages, simulation, Availability, GPRS, stochastic activity networks, modeling and evaluation |
28 | Upkar Varshney, Alisha D. Malloy |
Multilevel Fault-tolerance for Designing Dependable Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 308, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Sheldon X. Liang, Joseph Puett, Luqi |
Quantifiable Software Architecture for Dependable Systems of Systems. ![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. 241-265, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Shamus P. Smith, Michael D. Harrison |
Improving Hazard Classification through the Reuse of Descriptive Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings, pp. 255-268, 2002, Springer, 3-540-43483-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Paul Townend, Jie Xu 0007, Malcolm Munro |
Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 103-110, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance |
28 | Isaac Levendel |
HASE in Wireless Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 117, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum |
Enhancing a dependable multiserver operating system with temporal protection via resource reservations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 43(2), pp. 177-210, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel |
26 | Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota |
FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(1), pp. 1-56, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model |
26 | Beoungil Cho, Hyunsang Youn, Eunseok Lee 0001 |
Performability analysis method from reliability and availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Proceedings of the 2009 International Conference on Hybrid Information Technology, ICHIT 2009, Daejeon, Korea, August 27-29, 2009, pp. 401-407, 2009, ACM, 978-1-60558-662-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performability, reliability, Markov chain, dependability, availability |
26 | Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi |
Analysis and framework-based design of a fault-tolerant web information system for m-health. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 2(2-3), pp. 111-144, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions |
26 | Josh Dehlinger, Joanne Bechta Dugan |
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 429-434, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependability engineering, multi-agent systems, agent-oriented software engineering, dynamic fault trees |
26 | Roberto Pietrantuono |
Component airbag: a novel approach to develop dependable component-based applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 599-602, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependability, COTS |
26 | Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira |
A Fault-Tolerant Architectural Approach for Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 80-87, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, software architecture, dependability, exception handling |
26 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 89-107, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
26 | Armando Fox, David A. Patterson 0001 |
Guest Editors' Introduction: Approaches to Recovery-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 9(2), pp. 14-16, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
recovery-oriented computing, dependability, self-healing systems |
26 | Jennifer Morris, Philip Koopman |
Representing design tradeoffs in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, modeling, integrity, dependability, availability, safety |
26 | Giacomo Bucci, Luigi Sassoli, Enrico Vicario |
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(11), pp. 913-927, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification |
26 | Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi |
Markovian Modeling and Analysis of Internet Worm Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, pp. 149-158, 2005, IEEE Computer Society, 0-7695-2482-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Internet worm propagation, epidemic SIS model, kill signal, matrix geometric analysis, Markov model, dependability measures |
26 | Martin Hiller, Arshad Jhumka, Neeraj Suri |
EPIC: Profiling the Propagation and Effect of Data Errors in Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(5), pp. 512-530, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Data error propagation, data error effect, dependability assessment, fault injection, software profiling |
26 | Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr |
Basic Concepts and Taxonomy of Dependable and Secure Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 1(1), pp. 11-33, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault forecasting, security, fault tolerance, trust, Dependability, attacks, errors, failures, faults, vulnerabilities, fault removal |
26 | Upkar Varshney |
Location management for mobile commerce applications in wireless Internet environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 3(3), pp. 236-255, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
infrastructure dependability, wireless LANs, mobile applications, location management, Mobile commerce, satellites, wireless Internet, wireless multicast |
26 | Alan Fedoruk, Ralph Deters |
Using dynamic proxy agent replicate groups to improve fault-tolerance in multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 990-991, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
agent replication, fault-tolerance, dependability |
26 | Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora |
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 337-344, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Markov chains, Transient faults, Hierarchical modeling, Fault trees, Dependability modeling, Stochastic reward nets |
26 | Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky |
On Systematic Design of Protectors for Employing OTS Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 27th EUROMICRO Conference 2001: A Net Odyssey, 4-6 September 2001, Warsaw, Poland, pp. 22-29, 2001, IEEE Computer Society, 0-7695-1236-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
error detection and recovery, dependability, traceability, COTS, System integration, wrapping |
26 | Timothy K. Tsai, Mei-Chen Hsueh, Hong Zhao, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Stress-Based and Path-Based Fault Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(11), pp. 1183-1201, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
stress-based, path-based, program flow, fault tolerance, dependability, Fault injection, workload |
Displaying result #201 - #300 of 4885 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|