Sciweavers

2127 search results - page 207 / 426
» Software Automation
Sort
View
SE
2007
15 years 8 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
DLOG
2003
15 years 7 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
WOA
2000
15 years 7 months ago
An Agent-based Paradigm for Allocating Multi-Provider Service Demands
The increasing number of competitors and the growing traffic demand are the main factors pushing for a more dynamic and flexible service demand allocation mechanism. Human interac...
Monique Calisti, Boi Faltings
SIGMETRICS
2008
ACM
129views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Fine-grained energy profiling for power-aware application design
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
Aman Kansal, Feng Zhao
AROBOTS
1999
93views more  AROBOTS 1999»
15 years 6 months ago
A Robotic Excavator for Autonomous Truck Loading
Excavators are used for the rapid removal of soil and other materials in mines, quarries, and construction sites. The automation of these machines offers promise for increasing pro...
Anthony Stentz, John Bares, Sanjiv Singh, Patrick ...