853 search results - page 71 / 171 » A supporting system for verification among models of the UML |
LCN
2002
IEEE
14 years 27 days ago
2002
IEEE
Since TCP can only detect congestion after packet losses have already happened, various forms of Fast TCP (FTCP) have been proposed to notify congestion early and avoid packet los...
VVEIS
2007
13 years 9 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
ACISICIS
2007
IEEE
14 years 2 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...