620 search results - page 62 / 124 » Decidability Problems for Actor Systems |
103
click to vote
EDM
2010
14 years 11 months ago
2010
One of the main problems faced by university students is deciding the right learning path based on available information such as courses, schedules and professors. In this context,...
FORTE
2003
14 years 11 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
CORR
2009
Springer
14 years 7 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
109
click to vote
LICS
1993
IEEE
15 years 1 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...