10899 search results - page 2061 / 2180 » Wide Area Computation |
163
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
122
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
For any computing system to be secure, both hardware and software have to be trusted. If the hardware layer in a secure system is compromised, not only it would be possible to ext...
134
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
136
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
145
click to vote
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...