826 search results - page 15 / 166 » Resolving Concurrent Interactions |
120
click to vote
FOCS
2002
IEEE
15 years 6 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
CERA
2006
15 years 1 months ago
2006
er.sagepub.com/cgi/content/abstract/14/1/55 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineering...
108
click to vote
IFIPTCS
2010
14 years 11 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The simultaneous use of multiple aspect languages has the potential of becoming a significant one, as new aspectoriented frameworks are developed and existing ones expand to incor...
134
click to vote
ICCL
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...