Sciweavers

280 search results - page 17 / 56
» Automating Feature-Oriented Domain Analysis
Sort
View
ICCBR
2009
Springer
14 years 5 months ago
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...
Stephen Lee-Urban, Héctor Muñoz-Avil...
COSIT
1999
Springer
167views GIS» more  COSIT 1999»
14 years 3 months ago
Data Characterization Schema for Intelligent Support in Visual Data Analysis
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
Gennady L. Andrienko, Natalia V. Andrienko
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
14 years 4 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
14 years 3 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
NLDB
2000
Springer
14 years 2 months ago
Conceptual Patterns - A Consolidation of Coad's and Wohed's Approaches
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
Petia Wohed