2162 search results - page 27 / 433 » A Meta-Notation for Protocol Analysis |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
JNIT
2010
14 years 4 months ago
2010
48
Voted
TALG
2010
14 years 4 months ago
2010
CP
2011
Springer
13 years 9 months ago
2011
Springer
In recent models of decision-making, cognitive scientists have examined the relationship between option generation and successful performance. These models suggest that those who a...
ICNP
1998
IEEE
15 years 1 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...