6059 search results - page 318 / 1212 » A Technique for Verifying Measurements |
205
Voted
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
152
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
200
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
214
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
172
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...