1895 search results - page 298 / 379 » Using ATL for Checking Models |
136
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
FAST
2008
15 years 4 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
120
click to vote
RECOMB
2009
Springer
16 years 3 months ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...
111
click to vote
AUSDM
2006
Springer
15 years 6 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
126
click to vote
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...