446 search results - page 34 / 90 » LTS semantics for use case models |
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
109
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
ASIAN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
ENTCS
2007
14 years 11 months ago
2007
Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...
101
click to vote
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...