2436 search results - page 26 / 488 » Comonadic Notions of Computation |
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a simple protocol that provides application processes with an approximate real-time notion. This time notion is very versatile. At one extreme, it behaves at l...
121
click to vote
FOCS
2010
IEEE
14 years 12 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
114
click to vote
STACS
2005
Springer
15 years 7 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
88
Voted
CONCUR
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
72
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...