12774 search results - page 2385 / 2555 » A Framework for Proof Systems |
184
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
165
click to vote
ICPPW
2008
IEEE
16 years 1 months ago
2008
IEEE
The access patterns performed by disk-intensive applications vary widely, from simple contiguous reads or writes through an entire file to completely unpredictable random access....
160
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
175
click to vote
VR
2008
IEEE
16 years 29 days ago
2008
IEEE
As the use of virtual and augmented reality applications becomes more common, the need to fully understand how observers perceive spatial relationships grows more critical. One of...
168
click to vote
HPDC
2007
IEEE
16 years 27 days ago
2007
IEEE
In Internet-scale distributed systems, replicationbased scheme has been widely deployed to increase the availability and efficiency of services. Hence, consistency maintenance amo...