3185 search results - page 298 / 637 » Principles for modeling language design |
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Cloud computing has the potential for tremendous benefits, but wide scale adoption has a range of challenges that must be met. We review these challenges and how they relate to sc...
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
SERA
2005
Springer
14 years 1 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
ASE
2008
13 years 8 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...