15635 search results - page 92 / 3127 » Modelling and Design of VAML |
153
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
146
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
122
click to vote
CLUSTER
2002
IEEE
2002
IEEE
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
15 years 9 months ago
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer