Sciweavers

1023 search results - page 162 / 205
» Renaissance: A Method to Support Software System Evolution
Sort
View
132
Voted
KBSE
1999
IEEE
15 years 8 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
EVOW
2006
Springer
15 years 7 months ago
Hierarchical Clustering, Languages and Cancer
In this paper, we introduce a novel objective function for the hierarchical clustering of data from distance matrices, a very relevant task in Bioinformatics. To test the robustnes...
Pritha Mahata, Wagner Costa, Carlos Cotta, Pablo M...
FMCO
2008
Springer
110views Formal Methods» more  FMCO 2008»
15 years 5 months ago
Reusable Architectural Decision Model for Model and Metadata Repositories
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
Christine Mayr, Uwe Zdun, Schahram Dustdar
CC
2007
Springer
15 years 10 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...
HICSS
2008
IEEE
113views Biometrics» more  HICSS 2008»
15 years 10 months ago
MONSOON: A Coevolutionary Multiobjective Adaptation Framework for Dynamic Wireless Sensor Networks
Wireless sensor applications (WSNs) are often required to simultaneously satisfy conflicting operational objectives (e.g., latency and power consumption). Based on an observation...
Pruet Boonma, Junichi Suzuki