714 search results - page 61 / 143 » The Formal Specification Language mCRL2 |
ASE
2002
13 years 8 months ago
2002
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...