1398 search results - page 54 / 280 » Ensuring Properties of Interaction Systems |
123
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
146
Voted
HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
92
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider a scenario where an application service provider (ASP) hires a network service provider (NSP) to deliver its service and pays for the employment of the NSP. We stud...
185
click to vote
TEI
2012
ACM
13 years 11 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
145
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...