Sciweavers

432 search results - page 54 / 87
» Interaction Abstraction for Compositional Finite State Syste...
Sort
View
TGC
2005
Springer
15 years 9 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»
15 years 4 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
15 years 11 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
15 years 8 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
15 years 6 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...