7820 search results - page 33 / 1564 » Formalization of Time and Space |
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
VTS
2000
IEEE
14 years 2 months ago
2000
IEEE
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...
ICCBR
2010
Springer
13 years 7 months ago
2010
Springer
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...
LICS
1998
IEEE
14 years 1 months ago
1998
IEEE
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 ...
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer