Sciweavers

15636 search results - page 3107 / 3128
» Modelling by supersaturated designs
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
14 years 12 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
AHSWN
2006
206views more  AHSWN 2006»
14 years 12 months ago
Zone-Based Intrusion Detection for Mobile Ad Hoc Networks
ABSTRACT Intrusion Detection Systems (IDSs) for Mobile Ad hoc NETworks (MANETs) are indispensable since traditional intrusion prevention based techniques are not strong enough to p...
Bo Sun, Kui Wu, Udo W. Pooch
ALGORITHMICA
2006
86views more  ALGORITHMICA 2006»
14 years 12 months ago
Slabpose Columnsort: A New Oblivious Algorithm for Out-of-Core Sorting on Distributed-Memory Clusters
Our goal is to develop a robust out-of-core sorting program for a distributed-memory cluster. The literature contains two dominant paradigms for out-of-core sorting algorithms: me...
Geeta Chaudhry, Thomas H. Cormen
BMCBI
2006
102views more  BMCBI 2006»
14 years 12 months ago
UVPAR: fast detection of functional shifts in duplicate genes
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...
Vicente Arnau, Miguel Gallach, J. Ignasi Lucas, Ig...
BMCBI
2006
137views more  BMCBI 2006»
14 years 12 months ago
Sigma: multiple alignment of weakly-conserved non-coding DNA sequence
Background: Existing tools for multiple-sequence alignment focus on aligning protein sequence or protein-coding DNA sequence, and are often based on extensions to Needleman-Wunsch...
Rahul Siddharthan
« Prev « First page 3107 / 3128 Last » Next »