620 search results - page 2 / 124 » Decidability Problems for Actor Systems |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
TRECVID
2008
13 years 6 months ago
2008
This paper presents the systems and results for the Event Detection task of the TRECVid 2008 evaluation campaign. The kind of events addressed are single-actor, without requiring ...
PDC
2004
ACM
13 years 10 months ago
2004
ACM
As computer technologies start to permeate the everyday activities of a continuously growing population, social and technical as well as political and legal issues will surface. P...
FUIN
2010
13 years 2 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...