Sciweavers

7820 search results - page 33 / 1564
» Formalization of Time and Space
Sort
View
VTS
2000
IEEE
100views Hardware» more  VTS 2000»
15 years 11 months ago
Functional Memory Faults: A Formal Notation and a Taxonomy
Abstract: This paper presents a notation for describing functional fault models, which may occur in memory devices. Using this notation, the space of all possible memory faults has...
A. J. van de Goor, Zaid Al-Ars
ICCBR
2010
Springer
15 years 4 months ago
Amalgams: A Formal Approach for Combining Multiple Case Solutions
How to reuse or adapt past solutions to new problems is one of the least understood problems in case-based reasoning. In this paper we will focus on the problem of how to combine s...
Santiago Ontañón, Enric Plaza
LICS
1998
IEEE
15 years 10 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
FTRTFT
1998
Springer
15 years 11 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...