55 search results - page 7 / 11 » Towards a Methodology for Educational Modelling: A Case in E... |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
— This paper describes two tools that aim to support decision making during the migration of IT systems to the cloud. The first is a modeling tool that produces cost estimates of...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...