746 search results - page 92 / 150 » Formal Analysis of UML-Based Designs |
115
click to vote
FC
2005
Springer
15 years 7 months ago
2005
Springer
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...
130
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
113
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
101
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
108
click to vote
DLOG
2010
14 years 12 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...