8109 search results - page 67 / 1622 » A Model of Component-Based Programming |
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
IWOMP
2010
Springer
15 years 6 months ago
2010
Springer
154
click to vote
JMLR
2012
13 years 4 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...
111
click to vote
IASTEDSE
2004
15 years 3 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...
108
click to vote
TASE
2007
IEEE
15 years 8 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...