Sciweavers

1726 search results - page 120 / 346
» Traits: Tools and Methodology
Sort
View
PODC
2003
ACM
15 years 3 months ago
Automatic discovery of mutual exclusion algorithms
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
Yoah Bar-David, Gadi Taubenfeld
SIGSOFT
2003
ACM
15 years 3 months ago
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
Antonia Bertolino, Stefania Gnesi
CAEPIA
2003
Springer
15 years 3 months ago
A Framework for Ontology Reuse and Persistence Integrating UML and Sesame
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
Carlos Pedrinaci, Amaia Bernaras, Tim Smithers, Je...
ICVS
2003
Springer
15 years 3 months ago
Towards Ontology Based Cognitive Vision
This paper details a visual concept ontology driven knowledge acquisition methodology. We propose to use a visual concept ontology to guide experts in the visual description of the...
Nicolas Maillot, Monique Thonnat, Alain Boucher
VISUALIZATION
2002
IEEE
15 years 2 months ago
Visualizing Dynamic Molecular Conformations
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...
Johannes Schmidt-Ehrenberg, Daniel Baum, Hans-Chri...