626 search results - page 91 / 126 » Logical Foundations for Data Integration |
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
CIA
2007
Springer
14 years 3 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—Spintronic memristor devices based upon spin torque induced magnetization motion are presented and potential application examples are given. The structure and material of these ...
ICDE
1992
IEEE
14 years 26 days ago
1992
IEEE
This paper presents two algorithms for maintaining Btree index consistency in a DBMS which does not use write-ahead logging (WAL). One algorithm is similar to shadow paging, but i...