Sciweavers

1122 search results - page 110 / 225
» Modelling Cooperative Multi-agent Systems
Sort
View
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
15 years 2 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...
GI
2009
Springer
15 years 2 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
IROS
2009
IEEE
121views Robotics» more  IROS 2009»
15 years 4 months ago
Understanding of positioning skill based on feedforward / feedback switched dynamical model
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
Hiroyuki Okuda, Hidenori Takeuchi, Shinkichi Inaga...
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
15 years 4 months ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
DALT
2008
Springer
14 years 11 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima