644 search results - page 3 / 129 » Interaction and Realizability |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
CHI
1992
ACM
13 years 11 months ago
1992
ACM
At EuroPARC, we have been exploring ways to allow physically separatedcolleagues to work together effectively and naturally. In this paper, we briefly discuss several examples of ...
TC
2010
13 years 2 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
ASIACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...