1169 search results - page 182 / 234 » Simulation in software engineering training |
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
FMSP
2000
ACM
14 years 1 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
CHI
2007
ACM
14 years 1 months ago
2007
ACM
In this paper we present our approach of using gamelike techniques for designing wearable computing solutions for the Paris Fire Brigade, consisting of namely a board game and a v...
ESA
2006
Springer
14 years 23 days ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
AIIDE
2008
13 years 11 months ago
2008
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...