Sciweavers

272 search results - page 9 / 55
» A Service-Based Agent Framework for Distributed Symbolic Com...
Sort
View
CLUSTER
2004
IEEE
13 years 7 months ago
Configurable Network Processing for Mobile Agents on the Internet
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...
Ichiro Satoh
ATAL
2005
Springer
14 years 1 months ago
A distributed framework for solving the Multiagent Plan Coordination Problem
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
Jeffrey S. Cox, Edmund H. Durfee, Thomas Bartold
CONCUR
2009
Springer
14 years 2 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
PDP
2006
IEEE
14 years 1 months ago
An Agent Based Framework for Urban Mobility Simulation
Mobility study is composed of many research areas which one interests us: urban mobility. In the literature, urban mobilities are represented by analytical techniques like stochas...
Nicolas Marilleau, Christophe Lang, Pascal Chatonn...
HPCC
2007
Springer
13 years 11 months ago
An Exploration of Performance Attributes for Symbolic Modeling of Emerging Processing Devices
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
Sadaf R. Alam, Nikhil Bhatia, Jeffrey S. Vetter