620 search results - page 14 / 124 » Decidability Problems for Actor Systems |
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Software has jumped "out of the box" ? it controls critical systems, pervades business and commerce, and infuses entertainment, communication, and other everyday activiti...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
60
Voted
FIRSTMONDAY
2007
14 years 9 months ago
2007
: Reputation-based Governance (Rebag) is a framework to address governance problems that hinges on the reputation of the relevant actors. It functions thanks to an appropriate Web-...
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...