Sciweavers

653 search results - page 68 / 131
» Specifying Business Requirements through Interaction Design
Sort
View
SPE
2002
130views more  SPE 2002»
14 years 10 months ago
Unix tools as visual programming components in a GUI-builder environment
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
Diomidis Spinellis
PERVASIVE
2010
Springer
15 years 1 months ago
Specification and Verification of Complex Location Events with Panoramic
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
Evan Welbourne, Magdalena Balazinska, Gaetano Borr...
SOQUA
2007
15 years 11 days ago
An approach to detecting failures automatically
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
Jochen Wuttke
FM
2005
Springer
88views Formal Methods» more  FM 2005»
15 years 4 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
HAPTICS
2003
IEEE
15 years 4 months ago
Haptic Effects for Virtual Reality-Based Post-Stroke Rehabilitation
The majority of today’s haptic interfaces are designed for hand-based interaction with virtual environments. However, there are several reallife tasks that require a person to i...
Rares F. Boian, Judith E. Deutsch, Chan Su Lee, Gr...