13436 search results - page 2412 / 2688 » e |
170
click to vote
MICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
As more data value speculation mechanisms are being proposed to speed-up processors, there is growing pressure on the critical processor structures that must buffer the state of t...
159
click to vote
MSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Storage systems are the next frontier for providing protection against intrusion. Since storage systems see changes to persistent data, several types of intrusions can be detected...
169
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
152
click to vote
STEP
2005
IEEE
15 years 11 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
174
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...