5334 search results - page 847 / 1067 » Communicating quantum processes |
184
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper reports on a novel decentralised technique for planning agent schedules in dynamic task allocation problems. Specifically, we use a Markov game formulation of these pr...
217
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
166
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
New Internet services and technologies call for higher packet switching capacities in the core network. Thus, a performance bottleneck arises at the backbone routers, as forwarding...
259
click to vote
IICS
2009
Springer
16 years 1 months ago
2009
Springer
: The Web 2.0 can be regarded as an evolutionary process of medial differentiation. Infinite online communities are emerging and disappearing. It seems that a race has started in s...
226
click to vote
LOCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...