1424 search results - page 6 / 285 » An industrial case study on wearable computing applications |
EMSOFT
2005
Springer
14 years 24 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
TIM
2011
13 years 1 months ago
2011
Abstract—Recently, much research in the area of haptic technologies has focused on the development of waist-worn vibrotactile belts as substitution or augmentation modalities for...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
ECMDAFA
2007
Springer
14 years 1 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
AICI
2010
13 years 6 months ago
2010
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...