1411 search results - page 44 / 283 » Interactive Coding for Interactive Proofs |
IEEESCC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
XPU
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
IDMS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
CCIA
2009
Springer
14 years 2 days ago
2009
Springer
In this paper, we argue that only using behavioural motion information, we are able to predict the interest of observers when looking at face-to-face interactions. We propose a set...
PERVASIVE
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...