7557 search results - page 607 / 1512 » Modeling Timed Concurrent Systems |
188
click to vote
IJCAI
2007
15 years 8 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
198
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
155
click to vote
EOR
2011
15 years 2 months ago
2011
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
186
click to vote
ICCS
2005
Springer
16 years 19 days ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
175
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...