Sciweavers

1762 search results - page 16 / 353
» Brahms: simulating practice for work systems design
Sort
View
MM
2006
ACM
125views Multimedia» more  MM 2006»
14 years 1 months ago
The design of a real-time, multimodal biofeedback system for stroke patient rehabilitation
This paper presents a novel real-time, multi-modal biofeedback system for stroke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotono...
Yinpeng Chen, He Huang, Weiwei Xu, Richard Isaac W...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
14 years 2 months ago
Extension and application of a novel hardware-in-the-loop simulator design methodology
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
Monte Stuart MacDiarmid, Marko Bacic, Ronald Danie...
ASPDAC
2012
ACM
288views Hardware» more  ASPDAC 2012»
12 years 3 months ago
Automatic timing granularity adjustment for host-compiled software simulation
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
Parisa Razaghi, Andreas Gerstlauer
ECIS
2000
13 years 9 months ago
Authentic Intervention in Information Systems Practice
In this paper the philosophical concept of authenticity is used as a framing device for providing an interpretation of aspects of both ethical and practical action on the part of i...
Robert A. Stephens, Stephen K. Probert