Sciweavers

663 search results - page 11 / 133
» Interactive Realizers and Monads
Sort
View
HAPTICS
2009
IEEE
14 years 4 months ago
Control of an actuated car door providing outstanding haptic interaction
Actuated car doors are a promising way to increase the convenience of access to cars. In this paper, an advanced door concept which can easily be integrated into conventional car ...
Michael Strolz, Alexander Mortl, Michael Graf, Mar...
BPM
2006
Springer
116views Business» more  BPM 2006»
13 years 11 months ago
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
Gero Decker, Frank Puhlmann, Mathias Weske
ISSTA
2009
ACM
14 years 4 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
IFIP3
2008
118views Education» more  IFIP3 2008»
13 years 11 months ago
Learning with Smart Multipurpose Interactive Learning Environment
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...
Mária Bieliková, Marko Divéky...
AGENTS
2000
Springer
14 years 2 months ago
Interactive pedagogical drama
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
Stacy Marsella, W. Lewis Johnson, Catherine LaBore