Sciweavers

809 search results - page 55 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
ISMAR
2008
IEEE
15 years 11 months ago
OutlinAR: an assisted interactive model building system with reduced computational effort
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
Pished Bunnun, Walterio W. Mayol-Cuevas
AROBOTS
2002
67views more  AROBOTS 2002»
15 years 4 months ago
A System for Semi-Autonomous Tractor Operations
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
Anthony Stentz, Cristian Dima, Carl Wellington, He...
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
15 years 11 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
BIOINFORMATICS
2005
89views more  BIOINFORMATICS 2005»
15 years 4 months ago
Doelan: a solution for quality control monitoring of microarray production
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
Laurent Jourdren, Stéphane Le Crom
CEEMAS
2005
Springer
15 years 10 months ago
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
Ambra Molesini, Enrico Denti, Andrea Omicini