Sciweavers

1020 search results - page 85 / 204
» Implementation of a Constraint-Based Visualization System
Sort
View
AR
2006
116views more  AR 2006»
13 years 9 months ago
Slip-compensated path following for planetary exploration rovers
A system that enables continuous slip compensation for a Mars rover has been designed, implemented, and field-tested. This system is composed of several components that allow the ...
Daniel M. Helmick, Stergios I. Roumeliotis, Yang C...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 2 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
IPPS
1999
IEEE
14 years 1 months ago
BRISK: A Portable and Flexible Distributed Instrumentation System
Researchers and practitioners in the area of parallel and distributed computing have been lacking a portable, flexible and robust distributed instrumentation system. We present th...
Aleksandar M. Bakic, Matt W. Mutka, Diane T. Rover
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
14 years 1 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
14 years 3 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek