54 search results - page 4 / 11 » sam 2004 |
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
CHI
2004
ACM
14 years 3 months ago
2004
ACM
SAM
2004
13 years 11 months ago
2004
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...
SAM
2004
13 years 11 months ago
2004
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...
SAM
2000
13 years 11 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...