12981 search results - page 2324 / 2597 » Model Checking (Abstract) |
173
click to vote
CAISE
1997
Springer
15 years 8 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
152
click to vote
CIKM
1997
Springer
15 years 8 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
128
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
136
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
125
click to vote
IWANN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper we adopt a temporal coding approach to neuronal modeling of the visual cortex, using oscillations. We propose a hierarchy of three processing modules corres...