209 search results - page 25 / 42 » Ensuring operating system kernel integrity with OSck |
ESORICS
2009
Springer
14 years 2 months ago
2009
Springer
The proliferation of mobile devices has given rise to novel user-centric applications and services. In current mobile systems, users gain access to remote servers over mobile netwo...
PVLDB
2008
13 years 7 months ago
2008
With the rise of XML, the database community has been challenged by semi-structured data processing. Since the data type behind XML is the tree, state-of-the-art RDBMSs have learn...
EUROPAR
1999
Springer
14 years 1 days ago
1999
Springer
This paper describes an approach to the implementation and the operation of a Simultaneous Multithreaded processor. We propose an architecture which integrates a software mechanism...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
CASES
2005
ACM
13 years 9 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...