5216 search results - page 363 / 1044 » Planning as Model Checking |
147
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
142
click to vote
WSC
1998
15 years 8 months ago
1998
This paper describes a MODSIM III-based object-oriented network simulation model specifically developed for modeling railroad operations of Union Pacific Railroad. The transportat...
180
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
195
click to vote
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...
170
click to vote
IWC
2007
15 years 6 months ago
2007
This paper describes an experiment which aims to examine the effectiveness and efficiency of a Virtual Reality Modelling Language (VRML) building model compared with equivalent ar...