5216 search results - page 363 / 1044 » Planning as Model Checking |
117
Voted
CORR
2010
Springer
15 years 5 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...
126
Voted
WSC
1998
15 years 6 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...
155
click to vote
FASE
2004
Springer
15 years 10 months 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...
157
click to vote
SGAI
2009
Springer
15 years 11 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...
140
Voted
IWC
2007
15 years 5 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...