hardware | Sciweavers

27

SAM
2004

98views Hardware» more SAM 2004»

Scenario Synthesis from Imprecise Requirements

13 years 10 months ago

Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...

Bill Mitchell, Robert Thomson, Paul Bristow

claim paper

Read More »

18

click to vote

SAM
2004

103views Hardware» more SAM 2004»

Early Validation of Deployment and Scheduling Constraints for MSC Specifications

13 years 10 months ago

Download www.site.uottawa.ca

Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao...

claim paper

Read More »

18

click to vote

SAM
2004

93views Hardware» more SAM 2004»

Validating Wireless Protocol Conformance Test Cases

13 years 10 months ago

Download www.site.uottawa.ca

Paresh Jain, Amresh Paresh Jain

claim paper

Read More »

18

click to vote

SAM
2004

103views Hardware» more SAM 2004»

Comparing UML 2.0 Interactions and MSC-2000

13 years 10 months ago

Download folk.uio.no

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 »

24

click to vote

SAM
2004

114views Hardware» more SAM 2004»

Applying Reduction Techniques to Software Functional Requirement Specifications

13 years 10 months ago

Download www.site.uottawa.ca

Jameleddine Hassine, Rachida Dssouli, Juergen Rill...

claim paper

Read More »

23

click to vote

SAM
2004

113views Hardware» more SAM 2004»

A Flexible Micro Protocol Framework

13 years 10 months ago

Download www.site.uottawa.ca

Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...

claim paper

Read More »

25

click to vote

SAM
2004

111views Hardware» more SAM 2004»

SPT - The SDL Pattern Tool

13 years 10 months ago

Download www.site.uottawa.ca

Jörg Dorsch, Anders Ek, Reinhard Gotzhein

claim paper

Read More »

39

click to vote

SAM
2004

151views Hardware» more SAM 2004»

Checking Secrecy by Means of Partial Order Reduction

13 years 10 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 »

21

click to vote

SAM
2004

104views Hardware» more SAM 2004»

Applying eODL and SDL-Patterns for Developing TMN Managed Systems

13 years 10 months ago