338 search results - page 37 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
100
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
116
click to vote
CLEIEJ
2008
15 years 2 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
105
click to vote
MEMOCODE
2010
IEEE
14 years 12 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
135
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
110
click to vote
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...