Sciweavers

5075 search results - page 645 / 1015
» Model-based interface development
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
ICMCS
2009
IEEE
105views Multimedia» more  ICMCS 2009»
15 years 4 months ago
High school physics pathway: Teachers helping teachers through synthetic interviews
This paper highlights the iterative development of a dynamic web environment for exploring physics pedagogy: the Physics Teaching Web Advisory, Pathway. The formative evaluation o...
Michael G. Christel, Scott M. Stevens, Huan Li, De...
IEEEIAS
2009
IEEE
15 years 4 months ago
Full System Simulation and Verification Framework
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...
Jing-Wun Lin, Chen-Chieh Wang, Chin-Yao Chang, Chu...
CCR
2010
196views more  CCR 2010»
15 years 4 months ago
OFDMA in the field: current and future challenges
OFDMA will be the predominant technology for the air interface of broadband mobile wireless systems for the next decades. In recent years, OFDMA-based networks based on IEEE 802.1...
Andreas Maeder, Nader Zein
BIOSTEC
2010
169views Healthcare» more  BIOSTEC 2010»
15 years 1 months ago
A Spectral Mapping Method for EMG-based Recognition of Silent Speech
This paper reports on our latest study on speech recognition based on surface electromyography (EMG). This technology allows for Silent Speech Interfaces since EMG captures the ele...
Matthias Janke, Michael Wand, Tanja Schultz