1288 search results - page 43 / 258 » On Analysis of Design Component Contracts: A Case Study |
ICSE
1994
IEEE-ACM
15 years 3 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
118
click to vote
CSREAPSC
2006
15 years 1 months ago
2006
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
BMCBI
2010
14 years 12 months ago
2010
Background: Network Component Analysis (NCA) has been used to deduce the activities of transcription factors (TFs) from gene expression data and the TF-gene binding relationship. ...
100
click to vote
ACIVS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the design and real-time implementation of a fall-detection system, aiming at detecting fall incidents in unobserved home situations. The setup employs two fix...
100
click to vote
PAMI
2010
14 years 10 months ago
2010
—Although significant efforts have been made in developing nonnegative blind source separation techniques, accurate separation of positive yet dependent sources remains a challen...