3830 search results - page 310 / 766 » From Reference Model to Component Model |
155
click to vote
FOSSACS
2012
Springer
14 years 20 days ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
143
Voted
NIPS
1997
15 years 6 months ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...
147
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
146
click to vote
FATES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
135
click to vote
JAR
2008
15 years 5 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...