2021 search results - page 82 / 405 » COCO: Composition Model and Composition Model Implementation |
146
Voted
ENTCS
2011
14 years 11 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
132
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present an autonomous and scalable WSMO-based methodology to describe quality of service (QoS) and geographic features of e-services in a peer-to-peer based envir...
127
click to vote
CCE
2004
15 years 4 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
149
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
175
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...