620 search results - page 34 / 124 » Decidability Problems for Actor Systems |
JCT
2007
14 years 9 months ago
2007
We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a p...
110
click to vote
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
TMM
2008
14 years 9 months ago
2008
The designers of a large scale video-on-demand system face an optimization problem of deciding how to assign movies to multiple disks (servers) such that the request blocking proba...
IDEAS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we study the problem of deciding whether a regular path query over views in data-integration systems can be re-expressed without recursion. The problem becomes chall...