59 search results - page 8 / 12 » Fast Formal Analysis of Requirements via |
INFSOF
2002
14 years 9 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
72
Voted
FUIN
2006
14 years 9 months ago
2006
Traditionally, due to efficiency considerations, when encrypting long messages using an asymmtric cryptosystem, one needs to use a symmetric cryptosystem in addition. To eliminate ...
TMI
2010
14 years 4 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
CONCURRENCY
2010
14 years 9 months ago
2010
As the complexity and scale of current scientific and engineering applications grow, managing and transporting the large amounts of data they generate is quickly becoming a signif...
112
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Metagenomics is an approach to the characterization of microbial genomes via the direct isolation of genomic sequences from the environment without prior cultivation. ...