6317 search results - page 208 / 1264 » System Support for Pervasive Applications |
125
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
139
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
110
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, h...
111
Voted
EPIA
1999
Springer
15 years 7 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
96
Voted
ERCIMDL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we report the design of an RFID sensing infrastructure for digital libraries. In addition to the architecture of the system, we report its deployment in th...