5353 search results - page 769 / 1071 » Modelling Contexts in the Or-BAC Model |
179
click to vote
EOR
2010
15 years 7 months ago
2010
We analyze a model of irreversible investment with two sources of uncertainty. A riskneutral decision maker has the choice between two mutually exclusive projects under input pric...
199
click to vote
CCE
2006
15 years 7 months ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
209
Voted
IJAR
2008
15 years 7 months ago
2008
Qualitative spatial information plays a key role in many applications. While it is well-recognized that all but a few of these applications deal with spatial information that is a...
168
click to vote
ENTCS
2006
15 years 7 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
210
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...