2232 search results - page 168 / 447 » Formal Modeling and Analysis of Organizations |
179
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
185
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
139
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
153
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
173
click to vote
ANSS
2007
IEEE
16 years 27 days ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...