5334 search results - page 210 / 1067 » Communicating quantum processes |
147
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
The advent and popularity of the World Wide Web (WWW) has enabled access to a variety of semi-structured data and, when available, this data follows some common XML schema. On the...
145
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
124
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
In daily life, people spend a lot of time in group activities, such as communication, debate, collaboration and consensus achieving for problem solving where creative ideas are exp...
124
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...