204 search results - page 31 / 41 » Test Derivation from Timed Automata |
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
SIGMETRICS
2004
ACM
14 years 1 months ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...
BLISS
2009
IEEE
13 years 9 months ago
2009
IEEE
The exploitation of biometrics information in human shadow silhouettes (shadow biometrics), derived from video imagery after processing by gait analysis methods opens new avenues ...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...