2162 search results - page 316 / 433 » A Meta-Notation for Protocol Analysis |
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
SBIA
2004
Springer
15 years 3 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
ISCC
2003
IEEE
15 years 3 months ago
2003
IEEE
The use of peer to peer file sharing networks such as Gnutella is proliferating on the Internet, but its use is bandwidth consuming due to the broadcast nature of some peer to pee...
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...