Sciweavers

2171 search results - page 87 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
JSS
2002
101views more  JSS 2002»
15 years 4 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
ISER
2004
Springer
128views Robotics» more  ISER 2004»
15 years 10 months ago
Towards High-Fidelity On-Board Attitude Estimation for Legged Locomotion via a Hybrid Range and Inertial Approach
Legged robots display a characteristically periodic motion. Measuring and tracking this motion has traditionally been performed using general inertial measurement techniques. While...
Surya P. N. Singh, Kenneth J. Waldron
IJRR
2006
172views more  IJRR 2006»
15 years 4 months ago
A Haptic Teleoperation Approach Based on Contact Force Control
This paper presents a new teleoperation approach using a virtual spring, and local contact force control on the slave robot. The operational space framework provides the control s...
Jaeheung Park, Oussama Khatib
ISPW
2005
IEEE
15 years 10 months ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
126
Voted
DAC
2005
ACM
15 years 6 months ago
Matlab extensions for the development, testing and verification of real-time DSP software
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
David P. Magee