644 search results - page 8 / 129 » Interaction and Realizability |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
IFIP3
2008
13 years 11 months ago
2008
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...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
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...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
FGCS
2006
13 years 9 months ago
2006
Emerging large-scale applications for e-science and Grid require end-to-end lightpaths that need to be dynamically provisioned with QoS (quality of service) guarantees. In this pa...