1368 search results - page 205 / 274 » Challenges for Model-Integrating Components |
157
click to vote
DAC
2009
ACM
15 years 1 months ago
2009
ACM
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
123
Voted
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Geometric verification with RANSAC has become a crucial step for many local feature based matching applications. Therefore, the details of its implementation are directly relevant...
157
click to vote
ICUMT
2009
15 years 1 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
140
click to vote
ICWSM
2009
15 years 1 months ago
2009
This paper defines a concept of trust incident accounts as verbal reports of empirical episodes in which a trustor has reached a state of positive or negative expectations of a tr...
134
click to vote
CACM
2010
15 years 1 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...