793 search results - page 43 / 159 » Protocol Modeling with Model Program Composition |
PAPM
2001
Springer
14 years 7 days ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
ENTCS
2007
13 years 7 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
CSREASAM
2010
13 years 4 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...