1796 search results - page 36 / 360 » An Approach to Compositional Model Checking |
ICCL
1994
IEEE
14 years 3 days ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
JSS
2007
13 years 7 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
CAV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
The compositional nature of visual objects significantly limits their representation complexity and renders learning of structured object models tractable. Adopting this modeling ...