Sciweavers

691 search results - page 30 / 139
» Programming Open Systems with Agents, Environments and Organ...
Sort
View
SASO
2008
IEEE
14 years 2 months ago
Hierarchical Organizations and a Supporting Software Architecture for Floating Car Data
The use of floating car data is an interesting method to monitor traffic. Vehicles act as local traffic sensors and data from individual vehicles is aggregated into higher-leve...
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
DALT
2006
Springer
13 years 12 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
IASTEDSEA
2004
13 years 9 months ago
A component model for building systems software
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar...
AOSE
2001
Springer
14 years 20 days ago
Towards an ADL for Designing Agent-Based Systems
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
Marie-Pierre Gervais, Florin Muscutariu
ATAL
2000
Springer
14 years 16 days ago
High-Level Robot Control through Logic
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
Murray Shanahan, Mark Witkowski