5334 search results - page 93 / 1067 » Communicating quantum processes |
122
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functio...
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
149
Voted
ACSW
2003
15 years 4 months ago
2003
The nature of mobile communication, characterised for example by terminals having poor user interface and limited processing capacity, as well as complex combination of network pr...
146
Voted
SCP
2011
14 years 10 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
131
Voted
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel architecture to support large scale stream processing services in a widely distributed environment. The proposed system, COSMOS, distinguishes it...