806 search results - page 31 / 162 » A Practitioners |
IMPERIAL
1994
13 years 11 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Enhancement of learning with technology has been accelerating thanks to the advancement of information technology (IT) and the development of IT standards for learning. The purpose...
WSC
2007
13 years 9 months ago
2007
This paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discreteevent systems; entities, resour...
WSC
2007
13 years 9 months ago
2007
One of the most important but neglected aspects of a simulation study is the proper design and analysis of simulation experiments. In this tutorial we give a stateof-the-art prese...
WSC
2007
13 years 9 months ago
2007
This paper describes the selection and automation of a method for estimating how many replications should be run to achieve a required accuracy in the output. The motivation is to...