3555 search results - page 691 / 711 » Security-Critical System Development with Extended Use Cases |
133
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Single nucleotide polymorphisms (SNPs) are important tools in studying complex genetic traits and genome evolution. Computational strategies for SNP discovery make use...
123
click to vote
AAAI
2008
15 years 3 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
126
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
108
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: A large effort to discover microRNAs (miRNAs) has been under way. Currently miRBase is their primary repository, providing annotations of primary sequences, precursors...
133
click to vote
AFRICACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
We present the first simple power analysis (SPA) of software implementations of KeeLoq. Our attack drastically reduces the efforts required for a complete break of remote keyless...