Sciweavers

13913 search results - page 409 / 2783
» models 2007
Sort
View
SDL
2001
73views Hardware» more  SDL 2001»
15 years 9 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
SIMVIS
2004
15 years 9 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
INTERACT
2003
15 years 9 months ago
Ontological Sketch Modelling (OSM): Concept-based Usability Analysis
: OSM is a novel approach to usability analysis and design that focuses on the quality of fit between the concepts the user is working with and those represented within supporting ...
Ann Blandford, Iain Connell
MASCOTS
2003
15 years 9 months ago
Software Performance Modeling Using UML and Petri Nets
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
José Merseguer, Javier Campos
SEBD
2003
130views Database» more  SEBD 2003»
15 years 9 months ago
Conceptual Modelling of Services in Multi/Cross Channel Web Applications
Web Applications are progressively becoming multi-channel and cross-channel. The “same” service should be made available in different delivery environments and devices. A user...
Franca Garzotto, Vito Perrone