Sciweavers

798 search results - page 80 / 160
» presence 2006
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 1 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
FORMATS
2006
Springer
15 years 1 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
COLING
2008
14 years 11 months ago
When is Self-Training Effective for Parsing?
Self-training has been shown capable of improving on state-of-the-art parser performance (McClosky et al., 2006) despite the conventional wisdom on the matter and several studies ...
David McClosky, Eugene Charniak, Mark Johnson
CASCON
2006
136views Education» more  CASCON 2006»
14 years 11 months ago
Workload adaptation in autonomic DBMSs
Workload adaptation is a performance management process in which an autonomic database management system (DBMS) efficiently makes use of its resources by filtering or controlling ...
Baoning Niu, Patrick Martin, Wendy Powley, Randy H...
CGVR
2006
14 years 11 months ago
Remote Move-Related Operation Awareness in Real-Time Internet-Based Collaborative Graphics Design Systems
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...
Bo Jiang, Jianxv Yang