663 search results - page 5 / 133 » Interactive Realizers and Monads |
POPL
2012
ACM
12 years 4 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
14 years 16 days 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
14 years 18 days 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 ...
NDJFL
2010
13 years 3 months ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
TC
2010
13 years 3 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 ...