8109 search results - page 65 / 1622 » A Model of Component-Based Programming |
127
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
109
Voted
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
152
click to vote
JMLR
2012
13 years 4 months ago
2012
This paper proposes a novel Bayesian approximation inference method for mixture modeling. Our key idea is to factorize marginal log-likelihood using a variational distribution ove...
102
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...