896 search results - page 4 / 180 » Stepwise Refinement of Processes |
98
Voted
ISIWI
2000
15 years 3 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, ...
120
click to vote
FAC
2008
15 years 2 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...
117
click to vote
APSEC
1998
IEEE
15 years 6 months 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...
124
Voted
ITSSA
2006
15 years 2 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...
141
click to vote
CCS
2010
ACM
15 years 8 days 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...