Sciweavers

759 search results - page 50 / 152
» An Internal Language for Interaction Categories
Sort
View
GROUP
2010
ACM
14 years 7 months ago
A study of cultural effects on mobile-collocated group photo sharing
International and intercultural collaborations provide a unique opportunity to explore cultural differences in the usage and appropriation of a technology. Mobile photo capture an...
Nirmal J. Patel, James Clawson, Namwook Kang, Seun...
FSTTCS
2006
Springer
15 years 1 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
BIS
2007
98views Business» more  BIS 2007»
14 years 11 months ago
Scenarios and Techniques for Choreography Design
Choreography description languages have been put forward for capturing sets of interactions and their control and data dependencies, seen from a global perspective. Choreographies ...
Gero Decker, Michael Von Riegen
HYBRID
2010
Springer
15 years 4 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
SIGMOD
2009
ACM
117views Database» more  SIGMOD 2009»
15 years 10 months ago
FERRY: database-supported program execution
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Sch...