8109 search results - page 67 / 1622 » A Model of Component-Based Programming |
IWOMP
2010
Springer
15 years 8 months ago
2010
Springer
174
click to vote
JMLR
2012
13 years 7 months ago
2012
In this work, we propose a hierarchical latent dictionary approach to estimate the timevarying mean and covariance of a process for which we have only limited noisy samples. We fu...
135
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
128
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...