4286 search results - page 475 / 858 » Formalizing Service Interactions |
162
click to vote
TLCA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
141
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
143
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
170
click to vote
CMMR
2004
Springer
15 years 11 months ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
143
click to vote
EUSAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...