Sciweavers

2861 search results - page 503 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
ISSTA
2006
ACM
14 years 4 months ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
14 years 3 months ago
Polychaete-like Undulatory Robotic Locomotion
- Polychaete annelid worms provide a biological paradigm of versatile locomotion and effective motion control, adaptable to a large variety of unstructured environmental conditions...
Dimitris P. Tsakiris, Michael Sfakiotakis, Arianna...
IEEESCC
2005
IEEE
14 years 3 months ago
An ECA Rule-based Workflow Design Tool for Shanghai Grid
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
Lin Chen, Minglu Li, Jian Cao, Yi Wang
HUC
2005
Springer
14 years 3 months ago
Fast and Robust Interface Generation for Ubiquitous Applications
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
Krzysztof Gajos, David B. Christianson, Raphael Ho...
AFRIGRAPH
2004
ACM
14 years 3 months ago
Realistic shading of human skin in real time
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
Florian Struck, Christian-A. Bohn, Sebastian Schmi...