11328 search results - page 48 / 2266 » Timed Branching Processes |
103
click to vote
ENTCS
2007
15 years 1 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
126
click to vote
UAI
2003
15 years 3 months ago
2003
For a given problem, the optimal Markov policy over a finite horizon is a conditional plan containing a potentially large number of branches. However, there are applications wher...
119
click to vote
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
116
click to vote
CCE
2006
15 years 2 months ago
2006
In this paper, we address the problem of optimal synthesis of an integrated water system, where water using processes and water treatment operations are combined into a single net...
120
click to vote
LOGCOM
2007
15 years 1 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...