5550 search results - page 260 / 1110 » Different Approaches to Proof Systems |
178
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
216
click to vote
ICSM
1996
IEEE
15 years 10 months ago
1996
IEEE
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
186
click to vote
ESWA
2007
15 years 6 months ago
2007
In this paper, adaptive neural network sliding-mode controller design approach with decoupled method is proposed. The decoupled method provides a simple way to achieve asymptotic ...
166
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
We present and evaluate various content-based recommendation models that make use of user and item profiles defined in terms of weighted lists of social tags. The studied approach...
226
click to vote
ICDCSW
2011
IEEE
14 years 6 months ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...