Sciweavers

653 search results - page 68 / 131
» Specifying Business Requirements through Interaction Design
Sort
View
SPE
2002
130views more  SPE 2002»
15 years 14 days 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 2 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...
116
Voted
SOQUA
2007
15 years 2 months 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 6 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 6 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...