Sciweavers

6348 search results - page 844 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
IOLTS
2003
IEEE
97views Hardware» more  IOLTS 2003»
16 years 1 days ago
Error-Injection-Based Failure Characterization of the IEEE 1394 Bus
This paper investigates the behavior of the IEEE 1394 bus in the presence of transient errors in the hardware layers of the protocol. Software-implemented error injection is used ...
D. J. Beauregard, Zbigniew Kalbarczyk, Ravishankar...
ISORC
2003
IEEE
16 years 1 days ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
ISSRE
2003
IEEE
16 years 1 days ago
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
Peter G. Bishop, Robin E. Bloomfield
EMSOFT
2003
Springer
16 years 2 hour ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
183
Voted
MSR
2010
ACM
15 years 12 months ago
Mining subclassing directives to improve framework reuse
—To help developers in using frameworks, good documentation is crucial. However, it is a challenge to create high quality documentation especially of hotspots in white-box framew...
Marcel Bruch, Mira Mezini, Martin Monperrus