4286 search results - page 152 / 858 » Formalizing Service Interactions |
186
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
162
click to vote
TC
2008
15 years 6 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
161
click to vote
ICECCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...
165
click to vote
CCGRID
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
155
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...