748 search results - page 92 / 150 » Influencing interaction: development of the design with inte... |
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
In this article we describe a novel approach to collaborative video authoring using handheld projectors. PicoTales are created by sketching story elements on a projector+phone pro...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
SIGDOC
2005
ACM
14 years 1 months ago
2005
ACM
Theoretical and technological progress has revived the interest in the design of services for the support of co-located human-human communication and collaboration, witnessing the...