6608 search results - page 1260 / 1322 » On the Completeness of Model Checking |
201
click to vote
AVI
2010
15 years 3 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
186
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
228
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Portable high-quality sports cameras (e.g. head or helmet mounted) built for recording dynamic first-person video footage are becoming a common item among many sports enthusiasts...
167
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Alternative splicing (AS) is a process which generates several distinct mRNA isoforms from the same gene by splicing different portions out of the precursor transcript...
255
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Historical linguistics aims at inferring the most likely language phylogenetic tree starting from information concerning the evolutionary relatedness of languages. The available i...