9698 search results - page 170 / 1940 » models 2010 |
131
click to vote
ECRA
2010
15 years 6 months ago
2010
This brief research commentary on Westland's (2010) article in this issue of Electronic Commerce Research and Applications is intended to add two cautionary notes. He attempts...
208
click to vote
ENTCS
2006
15 years 6 months ago
2006
A taxonomy of model transformations was introduced in [18]. Among others, such a taxonomy can help developers in deciding which language, forma lism, tool or mechanism is best sui...
194
click to vote
COMPSEC
2010
15 years 6 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
123
click to vote
IJBC
2010
15 years 3 months ago
2010
Excitable media may be modeled as simple extensions of the Amari