Sciweavers

171 search results - page 16 / 35
» Conference report: LANC05
Sort
View
ECOOPW
2004
Springer
14 years 2 months ago
Fifth International Workshop on Object-Oriented Reengineering
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...
Roel Wuyts, Stéphane Ducasse, Serge Demeyer...
ICSE
2001
IEEE-ACM
14 years 1 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
DATASCIENCE
2002
71views more  DATASCIENCE 2002»
13 years 8 months ago
An integrated web resource for crystallography
A recurring theme during the CODATA 2000 conference (Lake Maggiore, Italy, 15 - 19 October 2000) was the increasing convergence in data-rich branches of science between the storag...
Brian McMahon
SIGIR
2002
ACM
13 years 8 months ago
Comparing cross-language query expansion techniques by degrading translation resources
The quality of translation resources is arguably the most important factor affecting the performance of a cross-language information retrieval system. While many investigations ha...
Paul McNamee, James Mayfield
COMPSAC
2010
IEEE
13 years 6 months ago
An Analysis of Tool-Based Research in Software Engineering
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
Jonas Helming, Maximilian Koegel, Hoda Naguib, Mir...