813 search results - page 23 / 163 » On the interaction between sharing and linearity |
110
click to vote
CSL
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
100
click to vote
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—Peer-to-peer (P2P) networks offer a cost effective and easily deployable framework for sharing user-generated content. However, intrinsic incentive problems reside in P2P networ...
AMR
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. This paper presents an approach to the issue of adding structure to recordings of collaborative meetings supported by an audio channel and a shared text editor. The virtu...
117
click to vote
CISC
2007
Springer
15 years 3 months ago
2007
Springer
A multi-secret sharing scheme allows several secrets to be shared amongst a group of participants. In 2005, Shao and Cao developed a verifiable multi-secret sharing scheme where e...