5188 search results - page 78 / 1038 » Information Flow in Interactive Systems |
COORDINATION
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
110
click to vote
SIGMOD
1998
ACM
15 years 4 months ago
1998
ACM
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
ENTCS
2008
14 years 12 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
CCGRID
2004
IEEE
15 years 3 months ago
2004
IEEE
We conduct computer simulation experiments in pre-operative planning of vascular reconstruction with a physician in the experimental loop. We constructed a problem-solving environ...
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
The design of a creativity workshop which helps to develop new ideas of how to support elderly people to live in their own home for as long as possible is presented. The participa...