4418 search results - page 396 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
180
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
223
click to vote
PADL
2005
Springer
16 years 9 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
175
click to vote
ISCIS
2004
Springer
16 years 6 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
161
click to vote
RTSS
2003
IEEE
16 years 3 days ago
2003
IEEE
—Many real-time systems have firm real-time requirements which allow occasional deadline violations but discard any jobs that are not finished by their deadlines. To measure the ...
187
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...