Sciweavers

5599 search results - page 480 / 1120
» Abstract State Services
Sort
View
CCECE
2009
IEEE
16 years 1 months ago
A distributed and cooperative supervisory estimation of multi-agent systems - Part I: Framework
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
Seyyedmohsen Azizi, Mani M. Tousi, Kash Khorasani
IAT
2009
IEEE
16 years 1 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...
ECWEB
2009
Springer
112views ECommerce» more  ECWEB 2009»
16 years 1 months ago
Towards Privacy Compliant and Anytime Recommender Systems
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
Armelle Brun, Anne Boyer
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
OOPSLA
2009
Springer
16 years 1 months ago
Coherent reaction
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
Jonathan Edwards