2687 search results - page 463 / 538 » Formal Analysis of PKCS |
167
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
133
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
176
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
161
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
149
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...