3521 search results - page 140 / 705 » Algorithmic Control in Concurrent Computations |
129
Voted
CORR
2010
Springer
15 years 2 months 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...
128
click to vote
CCIA
2005
Springer
15 years 8 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 ...
147
click to vote
CL
2010
Springer
15 years 2 months 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...
114
click to vote
ENTCS
2006
15 years 2 months 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...
120
Voted
HICSS
2005
IEEE
15 years 8 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...