3885 search results - page 87 / 777 » Clarifying Goal Models |
143
click to vote
ASIACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
138
click to vote
IOR
2006
15 years 4 months ago
2006
This paper studies the M/M/s+M queue, i.e., the M/M/s queue with customer abandonment, also called the Erlang-A model, having independent and identically distributed customer aban...
130
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
149
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...
100
click to vote
WSC
2008
15 years 6 months ago
2008
One of the key goals for a simulation model is to accurately replicate the real system under consideration. A protocol is proposed to add credibility to the outputs of a simulatio...