26071 search results - page 399 / 5215 » Making |
177
click to vote
CALCO
2005
Springer
16 years 12 days ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
154
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
144
click to vote
MLMI
2005
Springer
16 years 11 days ago
2005
Springer
The network of excellence HUMAINE is currently making a co-ordinated, interdisciplinary effort to develop a consistent view on emotion-oriented computing. This overview paper prop...
157
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
172
Voted
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...