5550 search results - page 305 / 1110 » Different Approaches to Proof Systems |
183
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
181
click to vote
SACMAT
2006
ACM
16 years 20 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
176
click to vote
IJCSA
2006
15 years 6 months ago
2006
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
190
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
154
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The conventional approach for building pervasive environments relies on middleware to integrate different systems. Instead, we have built a system that can deal with these environ...