553 search results - page 76 / 111 » A General Theory of Additive State Space Abstractions |
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
AAMAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
EUC
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
IFM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
BIOCOMP
2007
13 years 10 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...