7109 search results - page 276 / 1422 » Process Algebra with Combinators |
132
click to vote
PCI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...
131
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
131
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
149
Voted
IWEC
2010
15 years 6 months ago
2010
Mobile games are based on the physical movement of players in a game world, combining real world with virtual dimensions. As the real world defies control, the magic circle, the bo...
174
Voted
CAINE
2003
15 years 6 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...