7099 search results - page 19 / 1420 » Context for models of concurrency |
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
CONCURRENCY
2004
13 years 9 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
ISPE
2003
13 years 11 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...