Sciweavers

4914 search results - page 13 / 983
» Arbitration of a help system
Sort
View
ISOLA
2004
Springer
14 years 1 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
13 years 9 months ago
How springs can help to stabilize motions of underactuated systems with weak actuators
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
Uwe Mettin, Pedro X. La Hera, Leonid B. Freidovich...
DSOM
2000
Springer
14 years 3 days ago
The Doctor Is In: Helping End Users Understand the Health of Distributed Systems
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
Paul Dourish, Daniel C. Swinehart, Marvin Theimer
ISAAC
1994
Springer
83views Algorithms» more  ISAAC 1994»
13 years 12 months ago
On Helping and Interactive Proof Systems
Vikraman Arvind, Johannes Köbler, Rainer Schu...
ECAI
2006
Springer
13 years 11 months ago
CBR-TM: A New Case-Based Reasoning System for Help-Desk Environments
Juan Ángel García-Pardo, Stella Hera...