2328 search results - page 39 / 466 » Component Frameworks - A Case Study |
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
IFM
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
ENTCS
2010
13 years 4 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
CBMS
2002
IEEE
14 years 11 days ago
2002
IEEE
We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information ...