2270 search results - page 172 / 454 » Modelling Secure IT Systems - A Survey |
138
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
115
Voted
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
133
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In previous studies, the technology acceptance model (TAM) [1] has been widely used by information technology researchers to gain a better understanding of information technology ...
162
Voted
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
136
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...