Sciweavers

756 search results - page 36 / 152
» coordination 2006
Sort
View
JOLLI
2010
85views more  JOLLI 2010»
15 years 12 days ago
Information Tracking in Games on Graphs
Abstract. When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acqui...
Dietmar Berwanger, Lukasz Kaiser
COORDINATION
2006
Springer
15 years 5 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
COORDINATION
2006
Springer
15 years 5 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
COORDINATION
2006
Springer
15 years 5 months ago
Workflow Patterns in Orc
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...
William R. Cook, Sourabh Patwardhan, Jayadev Misra
ICPR
2006
IEEE
16 years 3 months ago
Superimposing 3D Virtual Objects using Markerless Tracking
This paper presents a novel methods to estimate the coordinates of a 3D object using the four vertices of a quadrangle and to track the markerless feature points. These methods ar...
Sang-Cheol Park, Sang-Woong Lee, Seong-Whan Lee