|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 140-145, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Da-kuan Wei |
Knowledge Reduction in Incomplete Systems Based on gamma-Tolerance Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 504-513, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 1-14, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 130-151, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![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. 209-, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 104-129, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough |
DSO: Dependable Signing Overlay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings, pp. 33-49, 2006, 3-540-34703-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(1-2), pp. 53-68, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 173-178, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 25-43, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(3), pp. 201-215, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 23rd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2008), 1-3 October 2008, Boston, MA, USA, pp. 211-219, 2008, IEEE Computer Society, 978-0-7695-3365-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Investigating rare-event failure tolerance: reductions in future uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 78-85, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 337-344, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 40(2), pp. 6:1-6:37, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 441-449, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 11-17, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 195-207, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings, pp. 194-206, 2006, Springer, 3-540-35157-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 155-178, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Nektarios Georgios Tsoutsos, Michail Maniatakos |
Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 87-110, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 111-128, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 275-296, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fault Tolerance in High-Performance Computing and Grids ![In: Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
43 | Ytzhak H. Levendel |
Fault Tolerance Cost Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 13-20, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | E. N. Elnozahy |
Fault Tolerance for Clusters of Workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 151-158, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Ram Chillarege |
Top Five Challenges Facing the Practice of Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 3-12, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Barry J. Gleeson |
Fault Tolerance: Why Should I Pay for It? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 66-77, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Farnam Jahanian |
Fault Tolerance in Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 237-249, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | David Powell |
Distributed Fault Tolerance - Lessons Learned from Delta-4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 199-217, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 263-282, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Jim Lipkis, Marc Rozier |
Fault Tolerance Enablers in the CHORUS Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 182-190, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006, pp. 832-841, 2006, ACM Press, 0-89871-605-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 659-664, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 188-189, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![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. 72-90, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 189-, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 79-89, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 57-84, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 858-868, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(5), pp. 455-471, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 171-176, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 51-58, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 227-232, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 358-365, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(1-3), pp. 57-65, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 539-544, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(4), pp. 323-335, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Sebnem Bora, Oguz Dikenelli |
Implementing a Multi-agent Organization that Changes Its Fault Tolerance Policy at Run-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VI, 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers, pp. 153-167, 2005, Springer, 3-540-34451-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Divakar Yadav, Michael J. Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 152-176, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 177-195, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Alexei Iliasov, Budi Arief, Alexander B. Romanovsky |
Step-Wise Development of Resilient Ambient Campus Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 297-323, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | M. Andrea Rodríguez |
Inconsistency Issues in Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 237-269, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Anish Arora, Sandeep S. Kulkarni |
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(6), pp. 435-450, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 635-640, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 777-782, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 309-316, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 226-240, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 14(3), pp. 207-232, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 150-157, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 306-313, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
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. ![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. 617-618, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(4), pp. 348-355, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 199-204, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(5), pp. 514-524, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Frank Olaf Sem-Jacobsen, Olav Lysne, Tor Skeie |
Combining Source Routing and Dynamic Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 18th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2006), 17-20 October 2006, Ouro Preto, Minas Gerais, Brazil, pp. 151-158, 2006, IEEE Computer Society, 0-7695-2704-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Christoforos N. Hadjicostis, George C. Verghese |
Coding approaches to fault tolerance in linear dynamic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(1), pp. 210-228, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jim Smith 0001, Paul Watson 0001 |
Fault-Tolerance in Distributed Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 25-27 July 2005, Montreal, Canada, pp. 329-338, 2005, IEEE Computer Society, 0-7695-2404-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV, pp. 212-221, 2005, Springer, 3-540-25863-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Foundation for Adaptive Fault Tolerance in Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 252-260, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Tolerance Spaces and Approximative Representational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 475-489, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Amey M. Kulkarni, Tinoosh Mohsenin |
SENSE: Sketching Framework for Big Data Acceleration on Low Power Embedded Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 201-214, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 61-85, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Subho Shankar Basu, Somanath Tripathy |
Secure Multicast Communication Techniques for IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 43-59, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Anirban Sengupta, Dipanjan Roy |
Low Cost Dual-Phase Watermark for Protecting CE Devices in IoT Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 21-41, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 129-153, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Keerthi K. 0002, Indrani Roy, Aritra Hazra, Chester Rebeiro |
Formal Verification for Security in IoT Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 179-200, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra 0001 |
Security and Trust Verification of IoT SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 1-19, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fault Tolerance in High-Performance Computing and Grids ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
34 | Zheng Chen 0011, Luc Moreau 0001 |
Recording Process Documentation in the Presence of Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 196-219, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ian J. Hayes |
Dynamically Detecting Faults via Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 85-103, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 220-250, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 1-24, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 251-274, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 44-56, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 324-341, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (eds.) |
Inconsistency Tolerance [result from a Dagstuhl seminar] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![Springer, 3-540-24260-0 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Sylvie Coste-Marquis, Pierre Marquis |
On the Complexity of Paraconsistent Inference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 151-190, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Leopoldo E. Bertossi, Loreto Bravo |
Consistent Query Answers in Virtual Data Integration Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 42-83, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | John K. Slaney |
Relevant Logic and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 270-293, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Anthony Hunter, Sébastien Konieczny |
Approaches to Measuring Inconsistent Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 191-236, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jan Chomicki, Jerzy Marcinkowski |
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 119-150, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
Consistency of XML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 15-41, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Representing Paraconsistent Reasoning via Quantified Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 84-118, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
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] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![Springer, 3-540-57767-X The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | David Liddell |
Simple Design Makes Reliable Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 91-94, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Yennun Huang, Chandra M. R. Kintala, Pankaj Jalote |
Two Techniques for Transient Software Error Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 159-170, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 285-304, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|