Sciweavers

2433 search results - page 131 / 487
» Power laws in software
Sort
View
HAPTICS
2008
IEEE
16 years 26 days ago
A Vibrotactile Device for Display of Virtual Ground Materials in Walking
We present a floor tile designed to provide the impression of walking on different ground materials, such as gravel, carpet, or stone. The device uses affordable and commerciall...
Yon Visell, Jeremy R. Cooperstock, Bruno L. Giorda...
170
Voted
ICNSC
2007
IEEE
16 years 22 days ago
Unstable Object Stabilization and Control Using a DD Robot Manipulator
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
Zhao-Hui Jiang, Kouya Kamise
BIRTHDAY
2004
Springer
15 years 11 months ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
EMSOFT
2004
Springer
15 years 11 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
ISORC
2002
IEEE
15 years 11 months ago
ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
David Decotigny, Isabelle Puaut