853 search results - page 96 / 171 » A supporting system for verification among models of the UML |
MOBICOM
1997
ACM
13 years 11 months ago
1997
ACM
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
IMSCCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Slowdown is used to measure the fairness degree of a scheduling algorithm in existing work. However, the fairness degree should be considered within a scheduling algorithm; rather...
RTSS
1998
IEEE
14 years 4 days ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
CSCWD
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
ECEASST
2008
13 years 8 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...