2558 search results - page 358 / 512 » Model Composition Contracts |
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
178
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
168
click to vote
CVPR
2011
IEEE
15 years 18 days ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
160
click to vote
TCS
2010
14 years 11 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
140
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...