5550 search results - page 553 / 1110 » Different Approaches to Proof Systems |
255
click to vote
JCST
2010
15 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
218
click to vote
ADB
1994
15 years 11 months ago
1994
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...
211
click to vote
USENIX
2007
15 years 9 months ago
2007
Monitoring and mining real-time network data streams is crucial for managing and operating data networks. The information that network operators desire to extract from the network...
197
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
Although in recent years the concept of leasing has become more and more popular in the field of distributed object-oriented systems, it has not yet been incorporated in the curre...
285
click to vote
BCS
2008
15 years 9 months ago
2008
: The SIFT algorithm (Scale Invariant Feature Transform) proposed by Lowe [1] is an approach for extracting distinctive invariant features from images. It has been successfully app...