1210 search results - page 56 / 242 » Specifying Precise Use Cases with Use Case Charts |
129
click to vote
PROVSEC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
126
click to vote
VTS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...
126
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
142
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
128
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...