Sciweavers

1578 search results - page 293 / 316
» Self-healing systems - survey and synthesis
Sort
View
FM
2008
Springer
75views Formal Methods» more  FM 2008»
13 years 9 months ago
Masking Faults While Providing Bounded-Time Phased Recovery
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
LREC
2010
135views Education» more  LREC 2010»
13 years 9 months ago
Multilingual Voice Creation Toolkit for the MARY TTS Platform
This paper describes an open source voice creation toolkit that supports the creation of unit selection and HMM-based voices, for the MARY (Modular Architecture for Research on sp...
Sathish Pammi, Marcela Charfuelan, Marc Schrö...
FORTE
2008
13 years 9 months ago
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
Guoqiang Shu, Yating Hsu, David Lee
NDQA
2003
96views Education» more  NDQA 2003»
13 years 9 months ago
A Technique to Resolve Contradictory Answers
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
Catherine Blake
FORTE
2000
13 years 9 months ago
Systematic Performance Evaluation of Multipoint Protocols
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, ...