278 search results - page 7 / 56 » Formal Composition of Distributed Scenarios |
TC
1998
13 years 9 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
COMPOS
1997
Springer
14 years 2 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio