5334 search results - page 210 / 1067 » Communicating quantum processes |
200
click to vote
P2P
2006
IEEE
16 years 1 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...
196
Voted
IFIP
2005
Springer
16 years 16 days 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 ...
174
Voted
KES
2005
Springer
16 years 16 days 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...
191
Voted
BIRTHDAY
2000
Springer
15 years 11 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...
162
Voted
APLAS
2007
ACM
15 years 11 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...