6031 search results - page 319 / 1207 » Communicating Transaction Processes |
164
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
176
click to vote
IMECS
2007
15 years 8 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
181
click to vote
IADIS
2004
15 years 8 months ago
2004
There is no standard model for judging the maturity of the software processes followed in software project outsourcing. The aim of this work is to describe a possible approach for...
150
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
195
click to vote
GCC
2005
Springer
16 years 4 days ago
2005
Springer
Spatial Information Grid (SIG) is a project of applying grid technology to share and integrate spatial data resources, information processing resources, equipment resources, and kn...