955 search results - page 30 / 191 » Model Checking Operator Procedures |
VR
2008
IEEE
14 years 3 months ago
2008
IEEE
The use of Virtual Environments for Training is strongly stimulated by important needs for training on sensitive equipments. Yet, developing such an application is often done with...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an approach to combine competent crossover and mutation operators via probabilistic model building. Both operators are based on the probabilistic model buildin...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
WSC
2004
13 years 10 months ago
2004
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
SNPD
2008
13 years 10 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...