Sciweavers

1003 search results - page 96 / 201
» Understanding Availability
Sort
View
ACSAC
2004
IEEE
15 years 3 months ago
High-Fidelity Modeling of Computer Network Worms
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
Kalyan S. Perumalla, Srikanth Sundaragopalan
CSB
2004
IEEE
141views Bioinformatics» more  CSB 2004»
15 years 3 months ago
MinPD: Distance-Based Phylogenetic Analysis and Recombination Detection of Serially-Sampled HIV Quasispecies
A new computational method to study within-host viral evolution is explored to better understand the evolution and pathogenesis of viruses. Traditional phylogenetic tree methods a...
Patricia Buendia, Giri Narasimhan
CSB
2004
IEEE
15 years 3 months ago
Navigating through the Biological Maze
Advances in genome science have created a surge of data. These data critical to scientific discovery are made available in thousands of heterogeneous public resources. Each of the...
Zoé Lacroix, Kaushal Parekh, Louiqa Raschid...
101
Voted
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 3 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
100
Voted
EKAW
2006
Springer
15 years 3 months ago
SemSearch: A Search Engine for the Semantic Web
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....
Yuangui Lei, Victoria S. Uren, Enrico Motta