SAM 2004 | Sciweavers

7

SAM
2004

103views Hardware» more SAM 2004»

Comparing UML 2.0 Interactions and MSC-2000

13 years 6 months ago

This paper is a brief comparison between the Interactions of UML 2.0 as defined by the Final Adopted Specification (OMG ptc/03-07-06) and MSC-2000 as defined by Z.120 (ITU 1999). T...

Øystein Haugen

claim paper

Read More »

15

click to vote

SAM
2004

114views Hardware» more SAM 2004»

Applying Reduction Techniques to Software Functional Requirement Specifications

13 years 6 months ago

Download www.site.uottawa.ca

Jameleddine Hassine, Rachida Dssouli, Juergen Rill...

claim paper

Read More »

12

click to vote

SAM
2004

113views Hardware» more SAM 2004»

A Flexible Micro Protocol Framework

13 years 6 months ago

Download www.site.uottawa.ca

Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...

claim paper

Read More »

12

click to vote

SAM
2004

111views Hardware» more SAM 2004»

SPT - The SDL Pattern Tool

13 years 6 months ago

Download www.site.uottawa.ca

Jörg Dorsch, Anders Ek, Reinhard Gotzhein

claim paper

Read More »

24

click to vote

SAM
2004

151views Hardware» more SAM 2004»

Checking Secrecy by Means of Partial Order Reduction

13 years 6 months ago

Download people.inf.ethz.ch

We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...

Cas J. F. Cremers, Sjouke Mauw

claim paper

Read More »

11

click to vote

SAM
2004

104views Hardware» more SAM 2004»

Applying eODL and SDL-Patterns for Developing TMN Managed Systems

13 years 6 months ago