3564 search results - page 358 / 713 » Evaluating a Formal Modelling Language |
160
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
144
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
133
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
122
click to vote
WSC
2004
15 years 5 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
168
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...