Sciweavers

494 search results - page 60 / 99
» A Framework for Synchronous Tele-Cooperation
Sort
View
COORDINATION
2006
Springer
15 years 1 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
FSEN
2007
Springer
15 years 1 months ago
Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefza...
AGI
2008
14 years 11 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
FORTE
2007
14 years 11 months ago
Event Correlation with Boxed Pomsets
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
Thomas Gazagnaire, Loïc Hélouët
SIGSOFT
2002
ACM
15 years 10 months ago
Composable semantics for model-based notations
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
Jianwei Niu, Joanne M. Atlee, Nancy A. Day