2436 search results - page 177 / 488 » Comonadic Notions of Computation |
124
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
134
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
150
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
154
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...
169
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...