Sciweavers

4290 search results - page 286 / 858
» Formal Approaches to Teamwork
Sort
View
HPCN
1995
Springer
15 years 10 months ago
A model-driven tool for performance measurement and analysis of parallel programs
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
Xiandeng Huang, Christoph Steigner
AIPS
2003
15 years 8 months ago
Synthesis of Hierarchical Finite-State Controllers for POMDPs
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
Eric A. Hansen, Rong Zhou
ENTCS
2010
85views more  ENTCS 2010»
15 years 6 months ago
Global Coordination Policies for Services
An important issue of the service oriented approach is the possibility to aggregate, through programmable coordination patterns, the activities involved by service interactions. T...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
IAT
2007
IEEE
16 years 1 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
CADUI
2006
15 years 8 months ago
Participatory Design Meets Mixed Reality Design Models
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
Emmanuel Dubois, Guillaume Gauffre, Cédric ...