17 search results - page 1 / 4 » Towards a Formal Framework for Interoperability Testing |
FORTE
2001
13 years 6 months ago
2001
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
ISEMANTICS
2010
13 years 3 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
CEEMAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...