174 search results - page 17 / 35 » Do Actors Call Use Cases |
137
Voted
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
126
click to vote
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
130
Voted
CLEIEJ
2002
15 years 3 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
133
Voted
TSE
2002
15 years 3 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
132
click to vote
RE
1997
Springer
15 years 7 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...