Sciweavers

1829 search results - page 45 / 366
» Towards Validation of Requirements Models
Sort
View
ICRA
2003
IEEE
104views Robotics» more  ICRA 2003»
15 years 5 months ago
Towards a dynamic actuator model for a hexapod robot
We describe a model predicting the output torque of the battery-amplifier-actuator-gear combination used on the hexapod robot RHex, based on requested PWM (PulseWidth-Modulation) ...
Dave McMordie, Chris Prahacs, Martin Buehler
EPEW
2007
Springer
15 years 6 months ago
Towards an Automatic Modeling Tool for Observed System Behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
RTSS
2005
IEEE
15 years 5 months ago
Event Count Automata: A State-Based Model for Stream Processing Systems
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiag...
SQJ
2002
110views more  SQJ 2002»
14 years 11 months ago
A General Model of Unit Testing Efficacy
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
Houman Younessi, Panlop Zeephongsekul, Winai Bodhi...
ECIS
2004
15 years 1 months ago
Towards a Process Model of Media Usage in Global Virtual Teams
In the networked world of today, global virtual teams (GVT) are becoming a common form of work structure. The geographic dispersion in GVT has led to members' high reliance o...
Juliana Sutanto, Chee Wei Phang, Atreyi Kankanhall...