1180 search results - page 148 / 236 » Interaction Protocols in Agentis |
FUIN
2006
15 years 25 days ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
190
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
117
Voted
IJWIS
2007
15 years 22 days ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
98
Voted
MOBIHOC
2005
ACM
16 years 12 days ago
2005
ACM
Analyzing TCP operation over 802.11 multihop ad hoc networks involves a cross-layer study. In this work, we investigate the effect of congestion and MAC contention on the interact...
149
click to vote
TCC
2007
Springer
15 years 7 months ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...