Sciweavers

2477 search results - page 248 / 496
» First-Order Interactive Programming
Sort
View
FOSSACS
2010
Springer
15 years 9 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
CHI
2009
ACM
15 years 9 months ago
Eek! a mouse! organic user interfaces: tangible, transitive materials and programmable reality
In this panel, we explore the role emerging transitive materials, like flexible thin-film displays, multi-touch input skins, e-textiles, micro-actuators and Claytronics might play...
Roel Vertegaal, Ivan Poupyrev
IVA
2009
Springer
15 years 8 months ago
A Probabilistic Model of Motor Resonance for Embodied Gesture Perception
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
Amir Sadeghipour, Stefan Kopp
MHCI
2009
Springer
15 years 8 months ago
Mobile educational game: adventure anywhere
Main topic of this work is development of educational games that can be used on mobile devices. Paper describes a novel approach to educational game defining and interpretation. I...
Milos Milovanovic, Miroslav Minovic, Miroslav Lazo...
SOCO
2009
Springer
15 years 8 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...