1317 search results - page 239 / 264 » Fusions of Description Logics and Abstract Description Syste... |
GI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
ICCBR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...