8132 search results - page 1301 / 1627 » Dependability, Abstraction, and Programming |
185
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
217
Voted
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
178
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...