262 search results - page 4 / 53 » Making Specifications Complete Through Models |
WSC
1997
14 years 5 days ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
WSC
2008
14 years 1 months ago
2008
In this paper we present the use of "what-if"-analysis in simulation games for spatial decision making by introducing the concept of multiple worlds. We expect that &quo...
MODELS
2007
Springer
14 years 5 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
FM
2003
Springer
14 years 4 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
APN
2008
Springer
14 years 26 days ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...