Sciweavers

953 search results - page 153 / 191
» On the Emulation of Software Faults by Software Fault Inject...
Sort
View
IOLTS
2003
IEEE
138views Hardware» more  IOLTS 2003»
14 years 1 months ago
An Analog Checker With Input-Relative Tolerance for Duplicate Signals
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
HASE
1999
IEEE
14 years 1 days ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
HCW
1998
IEEE
14 years 1 min ago
CCS Resource Management in Networked HPC Systems
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
Axel Keller, Alexander Reinefeld
AOSE
2008
Springer
13 years 9 months ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella
CASCON
1996
102views Education» more  CASCON 1996»
13 years 9 months ago
Availability management of distributed programs and services
Modern distributed applications pose increasing demands for high availability, automatic management, and dynamic con guration of their software systems. This paper presents the ar...
Markus Endler