We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
Empirical Modelling is a body of principles and tools that has been developed for the construction of interactive environments. Our previous research has indicated respects in whi...
—In this paper, we present an overview of the JPWL standardization activity. JPWL is an extension of JPEG 2000 for the efficient transmission of JPEG 2000 images over an error-pr...