6978 search results - page 1161 / 1396 » On Proofs in System P |
197
click to vote
ICDS
2008
IEEE
16 years 1 months ago
2008
IEEE
In order to provide a generic, applicationindependent and resource-efficient framework for server redundancy and session failover, the IETF RSerPool WG is currently standardizing ...
194
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A large amount of handwritten documents exist in image form, as scanned documents. The supporting electronic media allows for better preservation, but to access their content they...
166
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
To achieve better throughput, many hard drive manufacturers use internal queues and scheduling to take advantage of vendor-specific characteristics and knowledge. While this tren...
162
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Packet reservation multiple access (PRMA) protocol is an implicit reservation MAC protocol. It is initially designed for voice packets in the cellular networks [2], [3] but it is...
180
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...