259 search results - page 3 / 52 » Interoperation in Protocol Enactment |
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
WWW
2004
ACM
14 years 7 months ago
2004
ACM
This paper describes the design and implementation of the eduSource Communication Layer (ECL) protocol. ECL is one outcome of a pan-Canadian project called eduSource Canada to bui...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
IFM
2005
Springer
14 years 12 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...