|
|
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 |
19 | Janusz Sosnowski, Piotr Gawkowski, Przemyslaw Zygulski, Andrzej Tymoczko |
Enhancing Fault Injection Testbench. |
DepCoS-RELCOMEX |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Francisco Fernández de Vega |
A Fault Tolerant Optimization Algorithm based on Evolutionary Computation. |
DepCoS-RELCOMEX |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Neubauer, Markus D. Klemen, Stefan Biffl |
Secure Business Process Management: A Roadmap. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Yih Huang, David Arsenault, Arun Sood |
Securing DNS Services through System Self Cleansing and Hardware Enhancements. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Lukasz Juszczyk, Jaroslaw Lazowski, Schahram Dustdar |
Web Service Discovery, Replication, and Synchronization in Ad-Hoc Networks. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
Web Services, Peer-to-Peer, Mobile Ad-Hoc Networks, Synchronization, Replication, Discovery, Registry |
19 | Adiel Teixeira de Almeida |
Multicriteria Modelling of Repair Contract Based on Utility and ELECTRE I Method with Dependability and Service Quality Criteria. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
repair contract, ELECTRE method, decision analysis, utility theory, multicriteria decision making |
19 | Amy J. Ko, Brad A. Myers |
Human factors affecting dependability in end-user programming. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
human factors, end-user programming |
19 | Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown |
Dependability Benchmarking of Computing Systems - Panel Statement. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Lars Grunske, Bernhard Kaiser |
An Automated Dependability Analysis Method for COTS-Based Systems. |
ICCBSS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig |
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Nik Looker, Malcolm Munro, Jie Xu 0007 |
Increasing Web Service Dependability Through Consensus Voting. |
COMPSAC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau |
Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Pascal Traverse, Isabelle Lacaze, Jean Souyris |
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Lucian Prodan, Mihai Udrescu, Mircea Vladutiu |
Multiple-level concatenated coding in embryonics: a dependability analysis. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
accuracy threshold, reliability, embryonics, concatenated coding |
19 | Mihai Udrescu, Lucian Prodan, Mircea Vladutiu |
Improving quantum circuit dependability with reconfigurable quantum gate arrays. |
Conf. Computing Frontiers |
2005 |
DBLP DOI BibTeX RDF |
accuracy threshold, reconfigurable quantum gate arrays, coding |
19 | María del Carmen Bañuls, Pablo Galdámez |
Client Group Membership as an Architectural Approach for Dependability in Large Scale Systems. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Changyeol Choi, Sungsoo Kim |
A Dependability Management Mechanism for Ubiquitous Computing Systems. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Cilardo, Antonino Mazzeo, Luigi Romano |
An FPGA-based Key-Store for Improving the Dependability of Security Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Bev Littlewood |
Dependability assessment of software-based systems: state of the art. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
validation |
19 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano |
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications. |
IEEE Trans. Dependable Secur. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Legacy systems and COTS components, fault diagnosis and treatment, performability, fault injection, modeling and evaluation |
19 | Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Taisy Silva Weber |
FIONA: A Fault Injector for Dependability Evaluation of Java-Based Network Applications. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat |
Benchmarking The Dependability of Windows NT4, 2000 and XP. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
19 | David N. Jansen, Holger Hermanns |
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis |
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. Bezerra, Flávio Moreira de Oliveira |
Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Anna Derezinska |
Estimating Dependability of Parallel FFT Application using Fault Injection. |
PARELEC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Régis Leveugle, D. Cimonnet, Abdelaziz Ammari |
System-Level Dependability Analysis with RT-Level Fault Injection Accuracy. |
DFT |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Simona Bernardi 0001, Susanna Donatelli |
Stochastic Petri Nets and Inheritance for Dependability Modelling. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Hsu-Chun Yen, Lien-Po Yu |
Dependability Analysis of a Class of Probabilistic Petri Nets. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
probabilistic Petri net, verification, Controllability, self-stabilization, reachability |
19 | Pascal Felber, Tim Kaldewey, Stefan Weiss |
Proactive Hot Spot Avoidance for Web Server Dependability. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli |
Dependability and Survivability of Large Complex Critical Infrastructures. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Julio Pérez, Matteo Sonza Reorda, Massimo Violante |
Accurate Dependability Analysis of CAN-Based Networked Systems. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Songkuk Kim, Kang G. Shin |
Improving Dependability of Real-Time Communication with Preplanned Backup Routes and Spare Resource Pool. |
IWQoS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Flávia Estelia Silva Coelho, Jacques Philippe Sauvé, Cláudia J. Barenco Abbas, L. Javier García-Villalba |
Network Dependability: An Availability Measure in N-Tier Client/Server Architecture. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jürgen Bohn 0001, Felix C. Gärtner, Harald Vogt |
Dependability Issues of Pervasive Computing in a Healthcare Environment. |
SPC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Win Bausch, Cesare Pautasso, Gustavo Alonso |
Programming for Dependability in a Service-based Grid. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
|
19 | João Gabriel Silva |
Dependability Benchmarks: Can We Rely on Them? |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Pedro Costa 0002, Marco Vieira, Henrique Madeira, João Gabriel Silva |
Plug and Play Fault Injector for Dependability Benchmarking. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Holger Hermanns, Christophe Joubert |
A Set of Performance and Dependability Analysis Components for CADP. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Abdelaziz Ammari, Régis Leveugle, Matteo Sonza Reorda, Massimo Violante |
Detailed Comparison of Dependability Analyses Performed at RT and Gate Levels. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Julio Pérez, Matteo Sonza Reorda, Massimo Violante |
Dependability Analysis of CAN Networks: An Emulation-Based Approach. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Hamid R. Zarandi, Seyed Ghassem Miremadi, Ali Reza Ejlali |
Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Olivia Das, C. Murray Woodside |
Dependability Modeling of Self-healing Client-Server Applications. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade 0001, José Luiz Fiadeiro |
Enhancing Dependability Through Flexible Adaptation to Changing Requirements. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Robin E. Bloomfield, Sofia Guerra |
Process Modelling to Support Dependability Arguments. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Cláudia Betous-Almeida, Karama Kanoun |
Stepwise Construction and Refinement of Dependability Models. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Rodríguez 0001, Arnaud Albinet, Jean Arlat |
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Cristian Constantinescu |
Impact of Deep Submicron Technology on Dependability of VLSI Circuits. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Erik Hollnagel |
Dependability of Joint Human-Computer Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Servida |
Dependability in the Information Society: Getting Ready for the FP6. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christof Fetzer, Zhen Xiao |
A Flexible Generator Architecture for Improving Software Dependability. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
security, reliability, middleware, software fault-tolerance, wrappers, wrapper generator |
19 | Aaron B. Brown, David A. Patterson 0001 |
Rewind, repair, replay: three R's to dependability. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
19 | David Garlan, Shang-Wen Cheng, Bradley R. Schmerl |
Increasing System Dependability through Architecture-Based Self-Repair. |
WADS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Cristina Simache, Mohamed Kaâniche, Ayda Saïdane |
Event Log based Dependability Analysis of Windows NT and 2K Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Piotr Gawkowski, Janusz Sosnowski |
Using Software Implemented Fault Inserter in Dependability Analysis. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ravishankar K. Iyer, Zbigniew Kalbarczyk |
Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad A. Al-Hashimi, Huay-min H. Pu, Nohpill Park, Fabrizio Lombardi |
Dependability under Malicious Agreement in N-modular Redundancy-on-Demand Systems. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Max Walter, Carsten Trinitis, Wolfgang Karl |
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Cristian Constantinescu |
Dependability Analysis of a Fault-Tolerant Processor. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu |
Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Scott Hazelhurst, Adi Attar, Raymond Sinnappan |
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Boolean decision diagrams, validation, filtering, firewalls, traffic management |
19 | Juan A. Carrasco |
Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Domenico Cotroneo, Luigi Romano, Stefano Russo 0001, Nicola Mazzocca |
A CORBA-Based Architecture for Adding Dependability to Legacy Servers. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Xinyu Zang, Hairong Sun, Kishor S. Trivedi |
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani |
The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Víctor Suñé, Juan A. Carrasco |
A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Robert H. Klenke, Moshe Meyassed, James H. Aylor, Barry W. Johnson, Ramesh Rao, Anup Ghosh |
An Integrated Design Environment for Performance and Dependability Analysis. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Richard G. Hamlet |
Predicting Dependability by Testing. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Marius Hansen, Mads Ingstrup |
Modeling and analyzing architectural change with alloy. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Siddhartha Datta, Bharat Joshi, Arun Ravindran, Arindam Mukherjee 0001 |
Efficient parallel testing and diagnosis of digital microfluidic biochips. |
ACM J. Emerg. Technol. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Microfluidic biochip, droplet flooding, fault tolerance, testing, reconfigurability, defect tolerance, multiple faults, microfluidics |
14 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 |
INFAMY: An Infinite-State Markov Model Checker. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Tomohiro Katori, Lei Sun, Dennis K. Nilsson, Tatsuo Nakajima |
Building a self-healing embedded system in a multi-OS environment. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
multi-OS environment, monitoring, self-healing |
14 | Antonio Muñoz 0001, Antonio Maña, Daniel Serrano |
AVISPA in the Validation of Ambient Intelligence Scenarios. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ruth Lamprecht, Peter Kemper |
Reflection symmetry detection to reduce the state space of Markovian models. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
dependable computing, state space reduction, symmetry detection, spatial model, Markovian model |
14 | Samaneh Moghaddam, Mohsen Jamali, Martin Ester, Jafar Habibi |
FeedbackTrust: using feedback effects in trust-based recommendation systems. |
RecSys |
2009 |
DBLP DOI BibTeX RDF |
teust, feedback, recommendation |
14 | Andrey Brito, Christof Fetzer, Pascal Felber |
Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ernesto Damiani, Antonio Maña |
Toward WS-certificate. |
SWS |
2009 |
DBLP DOI BibTeX RDF |
soa, web services security |
14 | Luigi Gallo, Antonio Coronato |
Pervasive distributed volume rendering in a lightweight multi-agent platform. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
distributed ray casting, lightweight middleware, multi-agent system |
14 | Alessandro Marchetto 0001 |
Special section on testing and security of Web systems. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Carl E. Landwehr |
Up Scope. |
IEEE Secur. Priv. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Karthik Pattabiraman, Shuo Chen 0001, Zbigniew Kalbarczyk |
Workshop on compiler and architectural techniques for application reliability and security (CATARS). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pablo Arozarena, D. Ortega, B. Baesjou |
Assessing the Madeira NorthBound Interface. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yan Liu 0001, Muhammad Ali Babar 0001, Ian Gorton |
Middleware Architecture Evaluation for Dependable Self-managing Systems. |
QoSA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ang Jin, Jianhui Jiang, Jiawei Hu, Jungang Lou |
A PIN-Based Dynamic Software Fault Injection System. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jawwad Shamsi, Monica Brockmeyer |
Efficient and dependable overlay networks. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tatsuo Nakajima, Hiroo Ishikawa, Yuki Kinebuchi, Midori Sugaya, Lei Sun, Alexandre Courbot, Andrej van der Zee, Aleksi Aalto, Kwon Ki Duk |
An Operating System Architecture for Future Information Appliances. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Thi Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang |
Software component diagnosis service: architecture description. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious |
Towards Precise Security Patterns. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
Security patterns repositories, secure development |
14 | Yunan Cao, Zili Shao, Meng Wang 0005, Chun Jason Xue, Youdong Chen, Hongxing Wei, Tianmiao Wang |
A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems. |
ICDCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Oscar Kuiken, Xiao Zhang 0002, Hans G. Kerkhoff |
Built-in-Self-Diagnostics for a NoC-Based Reconfigurable IC for Dependable Beamforming Applications. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ross J. Anderson |
Information Security Economics - and Beyond. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Koji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai |
The Schemes to Develop Dependable System Using COTS. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hakem Beitollahi, Geert Deconinck |
Dependable Overlay Networks. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Miguel Matos, António Luís Sousa |
Dependable distributed OSGi environment. |
MW4SOC |
2008 |
DBLP DOI BibTeX RDF |
JAVA, virtualization, OSGi, SOC |
14 | Shangping Ren, Yue Yu 0002, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat |
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. |
ACM Trans. Auton. Adapt. Syst. |
2007 |
DBLP DOI BibTeX RDF |
open distributed embedded systems, Coordination, coordinators, roles, actors |
14 | Ilir Gashi, Peter T. Popov, Lorenzo Strigini |
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. |
IEEE Trans. Dependable Secur. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software |
14 | Masayuki Murakami |
Fault tolerance design for computers used in humanoid robots. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Inseok Yang, Donggil Kim, Kyungmin Kang, Dongik Lee, Kyungsik Yoon |
Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Pat Pik-Wah Chan, Michael R. Lyu, Miroslaw Malek |
ReliableWeb Services: Methodology, Experiment and Modeling. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky |
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches |
|
|