9071 search results - page 1489 / 1815 » A co-design modeling approach for computer network systems |
188
click to vote
SACMAT
2006
ACM
16 years 22 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...
205
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The creation of facial range models by 3D imaging systems has led to extensive work on 3D face recognition [19]. However, little work has been done to study the usefulness of such...
174
click to vote
TCS
2010
15 years 5 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
132
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
175
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...