Sciweavers

1090 search results - page 84 / 218
» A Replicated Monitoring Tool
Sort
View
ENTCS
2006
90views more  ENTCS 2006»
13 years 11 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
ATAL
2006
Springer
14 years 2 months ago
Coordination in Disaster Management and Response: A Unified Approach
Natural, technological and man-made disasters are typically followed by chaos that results from an inadequate overall response. Three separate levels of coordination are addressed ...
Myriam Abramson, William Chao, Joseph Macker, Ranj...
ICAD
2004
14 years 17 days ago
The Sonification of Rhythms in Human Electroencephalogram
We use sonification of temporal information extracted from scalp EEG to characterize the dynamic properties of rhythms in certain frequency bands. Sonification proves particularly...
Gerold Baier, Thomas Hermann
ADL
2000
Springer
373views Digital Library» more  ADL 2000»
14 years 3 months ago
BlueView: Virtual Document Servers for Digital Libraries
In the BlueView project, digital library services are developed and partially implemented based on the architecture of virtual document servers. Using standard tools like fulltext...
Andreas Heuer, Holger Meyer, Beate Porst, Patrick ...
BMCBI
2010
156views more  BMCBI 2010»
13 years 11 months ago
Estimating the individualized HIV-1 genetic barrier to resistance using a nelfinavir fitness landscape
Background: Failure on Highly Active Anti-Retroviral Treatment is often accompanied with development of antiviral resistance to one or more drugs included in the treatment. In gen...
Kristof Theys, Koen Deforche, Gertjan Beheydt, Yve...