|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12604 occurrences of 3888 keywords
|
|
|
Results
Found 13828 publication records. Showing 13828 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Helmut Thiele |
On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms |
64 | Liangmin Wang 0001, Jianfeng Ma 0001, Chao Wang 0085, A. C. Kot |
Fault and intrusion tolerance of wireless sensor networks. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Da-kuan Wei |
Knowledge Reduction in Incomplete Systems Based on gamma-Tolerance Relation. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
?–tolerance relation, ?–attribute reduction, Rough set, incomplete information system, Tolerance relation |
60 | Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub |
Introduction to Inconsistency Tolerance. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
57 | Sandeep S. Kulkarni, Ali Ebnenasir |
Automated Synthesis of Multitolerance. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
56 | Elisabeth Ball, Michael J. Butler |
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough |
DSO: Dependable Signing Overlay. |
ACNS |
2006 |
DBLP DOI BibTeX RDF |
P2P overlay, digital signing service, fault-tolerance, dependable, intrusion-tolerance |
50 | Joshua Haines, Vijay Lakamraju, Israel Koren, C. Mani Krishna 0001 |
Application-Level Fault Tolerance as a Complement to System-Level Fault Tolerance. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
beam forming, fault tolerance, checkpointing, target tracking, distributed real-time systems, imprecise computation |
50 | Smriti Agrawal, Rama Shankar Yadav, Nabanita Das 0004 |
Multiple Fault Tolerance Patterns for Systems with Arbitrary Deadline. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
scheduling, fault tolerance, real time systems, checkpointing, Arbitrary deadline |
50 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
49 | Sandeep S. Kulkarni, Ali Ebnenasir |
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance |
47 | Zachary D. Patitz, Nohpill Park |
Modeling and Evaluation of Threshold Defect Tolerance. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Investigating rare-event failure tolerance: reductions in future uncertainty. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
rare-event failure tolerance, computer assurance, failure tolerance assessment technique, software fault tolerance, software fault tolerance, operational profile |
46 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Complexity of Adding Failsafe Fault-Tolerance. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
44 | Vincenzo De Florio, Chris Blondia |
A survey of linguistic structures for application-level fault tolerance. |
ACM Comput. Surv. |
2008 |
DBLP DOI BibTeX RDF |
Language support for software-implemented fault tolerance, reconfiguration and error recovery, separation of design concerns, software fault tolerance |
44 | Sandeep S. Kulkarni, Ali Ebnenasir |
Enhancing The Fault-Tolerance of Nonmasking Programs. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
44 | S. K. Tewksbury |
Challenges Facing Practical DFT for MEMS. |
DFT |
2001 |
DBLP DOI BibTeX RDF |
Microelectromechanical systems, microsystems technologies, fault tolerance, defect tolerance |
44 | Piyush Maheshwari, Jinsong Ouyang |
Supporting fault-tolerance in heterogeneous distributed applications. |
Heterogeneous Computing Workshop |
1997 |
DBLP DOI BibTeX RDF |
heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling |
44 | Boris Goldengorin, Gerold Jäger, Paul Molitor |
Some Basics on Tolerances. |
AAIM |
2006 |
DBLP DOI BibTeX RDF |
upper tolerance, lower tolerance, Sensitivity analysis |
43 | Raviteja P. Reddy, Amit Acharyya, S. Saqib Khursheed |
Fault Tolerance in 3D-ICs. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Nektarios Georgios Tsoutsos, Michail Maniatakos |
Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Zbigniew Zielinski, Jan Chudzikiewicz, Janusz Furtak |
An Approach to Integrating Security and Fault Tolerance Mechanisms into the Military IoT. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
43 | Franck Cappello, Laxmikant V. Kalé, Frank Mueller 0001, Keshav Pingali, Alexander Reinefeld |
09191 Abstracts Collection - Fault Tolerance in High-Performance Computing and Grids. |
Fault Tolerance in High-Performance Computing and Grids |
2009 |
DBLP BibTeX RDF |
|
43 | Ytzhak H. Levendel |
Fault Tolerance Cost Effectiveness. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | E. N. Elnozahy |
Fault Tolerance for Clusters of Workstations. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Ram Chillarege |
Top Five Challenges Facing the Practice of Fault Tolerance. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Barry J. Gleeson |
Fault Tolerance: Why Should I Pay for It? |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Farnam Jahanian |
Fault Tolerance in Embedded Real-Time Systems. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | David Powell |
Distributed Fault Tolerance - Lessons Learned from Delta-4. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Jaynarayan H. Lala, Richard E. Harper |
Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Jim Lipkis, Marc Rozier |
Fault Tolerance Enablers in the CHORUS Microkernel. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Michael Kaufmann 0001, Jan Kratochvíl, Katharina Anna Lehmann, Amarendran Ramaswami Subramanian |
Max-tolerance graphs as intersection graphs: cliques, cycles, and recognition. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Geoffroy Vallée, Kulathep Charoenpornwattana, Christian Engelmann, Anand Tikotekar, Chokchai Leangsuksun, Thomas J. Naughton, Stephen L. Scott |
A Framework for Proactive Fault Tolerance. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
proactive fault tolerance, clustering, adaptation |
41 | Amel Meddeb, Yacine Djemaiel, Noureddine Boudriga |
Global intrusion detection and tolerance in networked systems. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
disk-based intrusion detection, global detection, local detection, tolerance, distributed attacks |
41 | Sandeep S. Kulkarni, Ali Ebnenasir |
Adding Fault-Tolerance Using Pre-synthesized Components. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance |
41 | Janis Putman |
Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, policy, OCL, behavior, RM-ODP |
41 | Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham |
Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation |
41 | Miaomiao Zhang, Zhiming Liu 0001, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
41 | Yi Zhang, Zongbin Li, Jikong Wang |
Hierarchical Reasoning Model of Tolerance Information and Its Using in Reasoning Technique of Geometric Tolerance Types. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
Tolerance information, Reasoning model, Polychromatic sets, Tolerance types |
40 | Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora |
FTSyn: a framework for automatic synthesis of fault-tolerance. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
40 | Hovhannes A. Harutyunyan, Calin D. Morosan |
The global fault-tolerance of interconnection networks. |
SNPD |
2006 |
DBLP DOI BibTeX RDF |
global fault-tolerance, faulttolerance of minimum broadcast graphs, fault-tolerance |
40 | Vincenzo De Florio, Geert Deconinck |
REL: A Fault Tolerance Linguistic Structure for Distributed Applications. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
linguistic support to software fault tolerance, dependability, software fault tolerance, error recovery |
40 | Shashank S. Nemawarkar, Guang R. Gao |
Latency Tolerance: A Metric for Performance Analysis of Multithreaded Architectures. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
performance analysis metric, multithreaded multiprocessor systems, tolerance index, program workload parameters, fine grain parallel program workloads, parallel architectures, multithreaded architectures, latency tolerance, closed queueing networks, analytical framework |
40 | Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke |
Fault-tolerance on regular decomposition grid applications. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
regular decomposition grid applications, synchronization data partitioning, high-level support, PUL-RD, fault-tolerance, communication, fault tolerant computing, distribution, heterogeneity, checkpointing, synchronisation, software fault tolerance |
39 | Rui Gong, Wei Chen 0009, Fang Liu 0002, Kui Dai, Zhiying Wang 0003 |
A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
SEE tolerance, SEU tolerance, SET tolerance, Asynchronous circuit |
38 | Fuad Abujarad, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Alireza Ejlali, Bashir M. Al-Hashimi, Marcus T. Schmitz, Paul M. Rosinger, Seyed Ghassem Miremadi |
Combined time and information redundancy for SEU-tolerance in energy-efficient real-time systems. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Sebnem Bora, Oguz Dikenelli |
Implementing a Multi-agent Organization that Changes Its Fault Tolerance Policy at Run-Time. |
ESAW |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Divakar Yadav, Michael J. Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Alexei Iliasov, Budi Arief, Alexander B. Romanovsky |
Step-Wise Development of Resilient Ambient Campus Scenarios. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
38 | M. Andrea Rodríguez |
Inconsistency Issues in Spatial Databases. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Anish Arora, Sandeep S. Kulkarni |
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Masking and nonmasking fault-tolerance, stepwise design formal methods, distributed systems, component based design, detectors, correctors |
37 | Gabriela Schütz, Noélia S. C. Correia |
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
wireless-optical, fault-tolerance, heuristic, multi-objective optimization, access networks |
37 | Gopi Kandaswamy, Anirban Mandal, Daniel A. Reed |
Fault Tolerance and Recovery of Scientific Workflows on Computational Grids. |
CCGRID |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance and recovery, resilient scientific workflows, scheduling, Computational grids |
37 | Habib M. Ammari, Sajal K. Das 0001 |
On computing conditional fault-tolerance measures for k-covered wireless sensor networks. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
k-covered WSNs, conditional connectivity, conditional coverage, conditional fault-tolerance, forbidden faulty set |
37 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
37 | Deepti Srivastava, Priya Narasimhan |
Architectural support for mode-driven fault tolerance in distributed applications. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
COTS systems, fault tolerance, distributed systems, software architecture, CORBA, replication, modes |
37 | Jinsong Ouyang, Piyush Maheshwari |
Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations. |
J. Supercomput. |
1999 |
DBLP DOI BibTeX RDF |
reliable distributed applications, fault tolerance, message passing, checkpointing, rollback-recovery |
37 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan |
A Fault Tolerance Framework for CORBA. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
strong replica consistency, fault tolerance, interoperability, CORBA, transparency, replicated objects |
37 | Maitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd |
Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
Fault tolerance in transaction processing, Highly available database management systems (DBMS), Replicated DBMS, Software reliability, Fault injection |
37 | 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 |
36 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance |
36 | Hyun C. Kim, V. S. S. Nair |
Application layer software fault tolerance for distributed object-oriented systems. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures |
34 | Yuvraj Singh Dhillon, Abdulkadir Utku Diril, Abhijit Chatterjee, Adit D. Singh |
Analysis and Optimization of Nanometer CMOS Circuits for Soft-Error Tolerance. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Frank Olaf Sem-Jacobsen, Olav Lysne, Tor Skeie |
Combining Source Routing and Dynamic Fault Tolerance. |
SBAC-PAD |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Christoforos N. Hadjicostis, George C. Verghese |
Coding approaches to fault tolerance in linear dynamic systems. |
IEEE Trans. Inf. Theory |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jim Smith 0001, Paul Watson 0001 |
Fault-Tolerance in Distributed Query Processing. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Young-Jin Kim, Byung Rae Cho, Min Koo Lee, Hyuck Moo Kwon |
Design Optimization Modeling for Customer-Driven Concurrent Tolerance Allocation. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Foundation for Adaptive Fault Tolerance in Software. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Tolerance Spaces and Approximative Representational Structures. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Amey M. Kulkarni, Tinoosh Mohsenin |
SENSE: Sketching Framework for Big Data Acceleration on Low Power Embedded Cores. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Atul Prasad Deb Nath, Tamzidul Hoque, Sandip Ray, Swarup Bhunia |
An Adaptable System-on-Chip Security Architecture for Internet of Things Applications. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Subho Shankar Basu, Somanath Tripathy |
Secure Multicast Communication Techniques for IoT. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Anirban Sengupta, Dipanjan Roy |
Low Cost Dual-Phase Watermark for Protecting CE Devices in IoT Framework. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Durga Prasad Sahoo, Arnab Bag, Sikhar Patranabis, Debdeep Mukhopadhyay, Rajat Subhra Chakraborty |
Fault-Tolerant Implementations of Physically Unclonable Functions on FPGA. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Keerthi K. 0002, Indrani Roy, Aritra Hazra, Chester Rebeiro |
Formal Verification for Security in IoT Devices. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra 0001 |
Security and Trust Verification of IoT SoCs. |
Security and Fault Tolerance in Internet of Things |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Franck Cappello, Laxmikant V. Kalé, Frank Mueller 0001, Keshav Pingali, Alexander Reinefeld (eds.) |
Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009 |
Fault Tolerance in High-Performance Computing and Grids |
2009 |
DBLP BibTeX RDF |
|
34 | Zheng Chen 0011, Luc Moreau 0001 |
Recording Process Documentation in the Presence of Failures. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ian J. Hayes |
Dynamically Detecting Faults via Integrity Constraints. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault detection, Integrity constraint, action system, real-time programming |
34 | Sadaf Mustafiz, Jörg Kienzle |
DREP: A Requirements Engineering Process for Dependable Reactive Systems. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking |
34 | Marta Plaska, Marina Waldén, Colin F. Snook |
Documenting the Progress of the System Development. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development |
34 | Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 |
Temporal Verification of Fault-Tolerant Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky |
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (eds.) |
Inconsistency Tolerance [result from a Dagstuhl seminar] |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Sylvie Coste-Marquis, Pierre Marquis |
On the Complexity of Paraconsistent Inference Relations. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Leopoldo E. Bertossi, Loreto Bravo |
Consistent Query Answers in Virtual Data Integration Systems. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | John K. Slaney |
Relevant Logic and Paraconsistency. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Anthony Hunter, Sébastien Konieczny |
Approaches to Measuring Inconsistent Information. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jan Chomicki, Jerzy Marcinkowski |
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
Consistency of XML Specifications. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Representing Paraconsistent Reasoning via Quantified Propositional Logic. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Michel Banâtre, Peter A. Lee (eds.) |
Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993] |
Hardware and Software Architectures for Fault Tolerance |
1994 |
DBLP DOI BibTeX RDF |
|
34 | David Liddell |
Simple Design Makes Reliable Computers. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Yennun Huang, Chandra M. R. Kintala, Pankaj Jalote |
Two Techniques for Transient Software Error Recovery. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Andrea J. Borr, Carol Wilhelmy |
Highly-Available Data Services for UNIX Client-Server Networks: Why Fault Tolerant Hardware Isn't the Answer. |
Hardware and Software Architectures for Fault Tolerance |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 13828 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|