2162 search results - page 27 / 433 » A Meta-Notation for Protocol Analysis |
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
JNIT
2010
13 years 3 months ago
2010
TALG
2010
13 years 3 months ago
2010
CP
2011
Springer
12 years 8 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
14 years 28 days 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...