523 search results - page 100 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
OOIS
2001
Springer
14 years 26 days ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
WOA
2007
13 years 9 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
BMCBI
2007
13 years 8 months ago
2007
Background: Accurate sequence alignments are essential for homology searches and for building three-dimensional structural models of proteins. Since structure is better conserved ...