Sciweavers

873 search results - page 71 / 175
» E-voting: Dependability Requirements and Design for Dependab...
Sort
View
ROBIO
2006
IEEE
139views Robotics» more  ROBIO 2006»
16 years 6 days ago
Biologically Inspired Reflex Based Stabilization Control of a Humanoid Robot with Artificial SMA Muscles
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...
Robert Kratz, Sebastian Klug, Maximilian Stelzer, ...
AOSE
2005
Springer
15 years 11 months ago
Incorporating Commitment Protocols into Tropos
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
Ashok U. Mallya, Munindar P. Singh
JUCS
2008
118views more  JUCS 2008»
15 years 6 months ago
Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
Thomas Memmel, Harald Reiterer
PRDC
2007
IEEE
16 years 14 days ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
ICCV
2001
IEEE
16 years 8 months ago
Accurate Optical Flow in Noisy Image Sequences
Optical Flow estimation in noisy image sequences requires a special denoising strategy. Towards this end we introduce a new tensor-driven anisotropic diffusion scheme which is des...
Hagen Spies, Hanno Scharr