Sciweavers

5423 search results - page 320 / 1085
» Denial-of-service in automation systems
Sort
View
IJVR
2008
135views more  IJVR 2008»
15 years 6 months ago
A 3D Pedagogical Agent Enhanced Virtual Therapy System for People with Idiopathic Parkinson Disease
The prevalence of disordered communication is particularly high in individuals diagnosed with idiopathic Parkinson disease (IPD). At least 89% of these individuals have disordered ...
Jie Yan
AI
2005
Springer
15 years 6 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
INFSOF
2002
89views more  INFSOF 2002»
15 years 6 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
PVLDB
2008
111views more  PVLDB 2008»
15 years 6 months ago
Semandaq: a data quality system based on conditional functional dependencies
We present SEMANDAQ, a prototype system for improving the quality of relational data. Based on the recently proposed conditional functional dependencies (CFDs), it detects and rep...
Wenfei Fan, Floris Geerts, Xibei Jia
ENTCS
2010
118views more  ENTCS 2010»
15 years 4 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker