3521 search results - page 140 / 705 » Algorithmic Control in Concurrent Computations |
109
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
109
Voted
CCIA
2005
Springer
15 years 6 months ago
2005
Springer
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
133
Voted
CL
2010
Springer
15 years 18 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
ENTCS
2006
15 years 15 days ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
99
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...