Sciweavers

3384 search results - page 176 / 677
» More Testable Properties
Sort
View
HAPTICS
2003
IEEE
14 years 2 months ago
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...
Federico Barbagli, John Kenneth Salisbury Jr.
DATE
2002
IEEE
144views Hardware» more  DATE 2002»
14 years 2 months ago
Design Automation for Deepsubmicron: Present and Future
Advancing technology drives design technology and thus design automation EDA. How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
Ralph H. J. M. Otten, Raul Camposano, Patrick Groe...
COLCOM
2009
IEEE
14 years 1 months ago
Still alive: Extending keep-alive intervals in P2P overlay networks
Abstract—Nodes within existing P2P networks typically exchange periodic keep-alive messages in order to maintain network connections between neighbours. This paper investigates a...
Richard Price, Peter Tiño
UML
2001
Springer
14 years 1 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ICDE
1993
IEEE
116views Database» more  ICDE 1993»
14 years 1 months ago
The Volcano Optimizer Generator: Extensibility and Efficient Search
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
Goetz Graefe, William J. McKenna