6608 search results - page 1275 / 1322 » On the Completeness of Model Checking |
170
click to vote
BIBE
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract—Because of the advent of high-throughput sequencing and the consequent reduction in cost of sequencing, many organisms have been completely sequenced and most of their g...
158
click to vote
CSFW
2007
IEEE
16 years 15 days ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
154
click to vote
FOCS
2007
IEEE
16 years 14 days ago
2007
IEEE
The following source coding problem was introduced by Birk and Kol: a sender holds a word x ∈ {0, 1}n , and wishes to broadcast a codeword to n receivers, R1, . . . , Rn. The re...
184
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
163
click to vote
ISCA
2007
IEEE
16 years 13 days ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...