Sciweavers

432 search results - page 54 / 87
» Interaction Abstraction for Compositional Finite State Syste...
Sort
View
TGC
2005
Springer
14 years 1 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
CORR
2006
Springer
113views Education» more  CORR 2006»
13 years 7 months ago
Decentralized Maximum Likelihood Estimation for Sensor Networks Composed of Nonlinearly Coupled Dynamical Systems
Abstract--In this paper, we propose a decentralized sensor network scheme capable to reach a globally optimum maximum-likelihood (ML) estimate through self-synchronization of nonli...
Sergio Barbarossa, Gesualdo Scutari
IAT
2009
IEEE
14 years 2 months ago
Towards Zero-Delay Recovery of Agents in Production Automation Systems
Multi-agent systems (MAS) is an accepted paradigm in safety-critical systems, like the production automation. Agents control the underlying machinery they are representing and int...
eva Kühn, Richard Mordinyi, Mario Lang, Adnan...
E4MAS
2006
Springer
13 years 11 months ago
Establishing Global Properties of Multi-Agent Systems Via Local Laws
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...
Wenxuan Zhang, Constantin Serban, Naftaly H. Minsk...
ASPLOS
2008
ACM
13 years 9 months ago
Understanding and visualizing full systems with data flow tomography
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Ti...