Sciweavers

844 search results - page 107 / 169
» Experiences Applying Agile Practices to Large Systems
Sort
View
ICTAC
2009
Springer
13 years 5 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
ICDE
2008
IEEE
157views Database» more  ICDE 2008»
14 years 9 months ago
Querying and Managing Provenance through User Views in Scientific Workflows
Abstract-- Workflow systems have become increasingly popular for managing experiments where many bioinformatics tasks are chained together. Due to the large amount of data generate...
Olivier Biton, Sarah Cohen Boulakia, Susan B. Davi...
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
14 years 2 months ago
Monocular range sensing: A non-parametric learning approach
Abstract— Mobile robots rely on the ability to sense the geometry of their local environment in order to avoid obstacles or to explore the surroundings. For this task, dedicated ...
Christian Plagemann, Felix Endres, Juergen Michael...
MM
2005
ACM
158views Multimedia» more  MM 2005»
14 years 1 months ago
Semantic knowledge extraction and annotation for web images
Nowadays, images have become widely available on the World Wide Web (WWW). It’s essential to develop effective ways for managing and retrieving such abundant images. Advantageou...
Zhigang Hua, Xiang-Jun Wang, Qingshan Liu, Hanqing...
ICTAC
2005
Springer
14 years 1 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer