Sciweavers

3876 search results - page 482 / 776
» Dynamic Adaptive Pre-Tenuring
Sort
View
ATAL
2005
Springer
15 years 10 months ago
An autonomous performance control framework for Distributed Multi-Agent Systems: a queueing theory based approach
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
Nathan Gnanasambandam, Seokcheon Lee, Soundar R. T...
124
Voted
ATAL
2004
Springer
15 years 10 months ago
Contract Model for Agent Mediated Electronic Commerce
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
Benjamin Gâteau, Djamel Khadraoui, Olivier B...
CONCUR
2004
Springer
15 years 10 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
ECOWS
2004
Springer
15 years 10 months ago
Semantically Extensible Schemas for Web Service Evolution
Web Services are designed for loosely coupled systems, which means that in many cases it is not possible to synchronously upgrade all peers of a Web Service scenario. Instead, Web ...
Erik Wilde
ICOIN
2004
Springer
15 years 10 months ago
An Enhanced Handoff Mechanism for Cellular IP
Handoff is one of the most important factors that may degrade the performance of TCP connections in wireless data networks. In this paper, we present a lossless and duplication fr...
Kyung-ah Kim, Jong-Deok Kim, Chong-kwon Kim, Jae-y...