Sciweavers

1948 search results - page 247 / 390
» Formalizing Mirror Theory
Sort
View
ISMIS
2003
Springer
15 years 12 months ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
WOLLIC
2010
Springer
15 years 11 months ago
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
APSEC
2002
IEEE
15 years 11 months ago
Contextual Matching of Software Library Components
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
Colin J. Fidge
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 11 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre
AOSE
2001
Springer
15 years 11 months ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer