Sciweavers

390 search results - page 42 / 78
» Application of Coloured Petri Nets in System Development
Sort
View
PE
2010
Springer
135views Optimization» more  PE 2010»
15 years 28 days ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
16 years 25 days ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
APVIS
2004
15 years 7 months ago
High Resolution Scalable Displays: Manufacturing and Use
Tiling projectors provides an effective and easy option to increase screen space. Differences in projectors' components however contribute to non-uniformities in illumination...
Nicole Bordes, Bernard Pailthorpe
AUSAI
2008
Springer
15 years 8 months ago
An Optimality Principle for Concurrent Systems
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
Langford B. White, Sarah L. Hickmott
SIMUTOOLS
2008
15 years 7 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick