Sciweavers

2229 search results - page 296 / 446
» Abstract Storage Devices
Sort
View
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 6 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
HCI
2009
13 years 6 months ago
Use Cases Functionality of the OASIS HCI
Abstract. Within OASIS, a set of detailed Use Cases have been developed, after capturing the specific needs of elderly users on the use and acquisition of services for the support ...
Maria Panou, Evangelos Bekiaris, Maria Fernanda Ca...
COMSIS
2010
13 years 6 months ago
An accelerometer-based gesture recognition algorithm and its application for 3D interaction
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
Jianfeng Liu, Zhigeng Pan, Xiangcheng Li
APSEC
2010
IEEE
13 years 4 months ago
Testing Inter-layer and Inter-task Interactions in RTES Applications
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel, T...
MONET
2011
13 years 3 months ago
Achieving End-to-end Fairness in 802.11e Based Wireless Multi-Hop Mesh Networks Without Coordination
Abstract To mitigate the damaging impacts caused by interference and hidden terminals, it has been proposed to use orthogonal channels in wireless multi-hop mesh networks. We demon...
Tianji Li, Douglas J. Leith, Venkataramana Badarla...