Sciweavers

4800 search results - page 662 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
JUCS
2008
189views more  JUCS 2008»
15 years 6 months ago
Structural Performance Evaluation of Multi-Agent Systems
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
Dariusz Król, Michal Zelmozer
146
Voted
JDS
2006
44views more  JDS 2006»
15 years 6 months ago
Multiagent Matching Algorithms with and without Coach
The concept of "agent" has been used to describe many different artefacts: software programs, mobile robots, or even human beings. In a system consisting of many agents, ...
Frieder Stolzenburg, Jan Murray, Karsten Sturm
NETWORKS
2008
15 years 6 months ago
Reformulation and sampling to solve a stochastic network interdiction problem
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
Udom Janjarassuk, Jeff Linderoth
PPL
2008
85views more  PPL 2008»
15 years 6 months ago
Hirondml: Fair Threads Migrations for Objective Caml
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen