6031 search results - page 300 / 1207 » Communicating Transaction Processes |
178
click to vote
IFIP
2005
Springer
16 years 3 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 ...
156
click to vote
KES
2005
Springer
16 years 2 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...
168
click to vote
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...
149
click to vote
APLAS
2007
ACM
15 years 10 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...
169
click to vote
FIW
2003
15 years 8 months ago
2003
A new feature set suited for IP telephony is described. The user value of this feature set is discussed in terms of social science results. This feature set supports natural human ...