896 search results - page 4 / 180 » Stepwise Refinement of Processes |
ISIWI
2000
13 years 9 months ago
2000
This paper1 gives an outline of the final results of the TransRouter2 project. In the scope of this project a decision support System for translation managers has been developed, ...
FAC
2008
13 years 8 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
APSEC
1998
IEEE
14 years 21 days ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
ITSSA
2006
13 years 8 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...