1288 search results - page 95 / 258 » On Analysis of Design Component Contracts: A Case Study |
116
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
132
click to vote
IJSEKE
2000
15 years 1 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
129
click to vote
BCI
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we describe and compare three Collaborative Filtering (CF) algorithms aiming at the low-rank approximation of the user-item ratings matrix. The algorithm implemen...
110
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
WCRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...