Sciweavers

1316 search results - page 208 / 264
» The Jam-O-Drum Interactive Music System: A Study in Interact...
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 3 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICAC
2009
IEEE
15 years 4 months ago
AdaptGuard: guarding adaptive systems from instability
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
Jin Heo, Tarek F. Abdelzaher
HUC
2007
Springer
15 years 3 months ago
An Exploration of Location Error Estimation
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
David Dearman, Alex Varshavsky, Eyal de Lara, Khai...
LSMS
2007
Springer
15 years 3 months ago
AOC-by-Self-discovery Modeling and Simulation for HIV
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
Chunxiao Zhao, Ning Zhong, Ying Hao
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
15 years 3 months ago
Mining Complex Patterns from Protein Surfaces
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
Lorenzo Baldacci, Matteo Golfarelli