1308 search results - page 11 / 262 » Management of UML Clusters |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
SACMAT
2006
ACM
14 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
OOIS
2001
Springer
14 years 2 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
ICT
2004
Springer
14 years 3 months ago
2004
Springer
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...