Sciweavers

3575 search results - page 167 / 715
» Modeling Concurrency with Geometry
Sort
View
SODA
2008
ACM
93views Algorithms» more  SODA 2008»
15 years 7 months ago
Fast load balancing via bounded best response
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
Baruch Awerbuch, Yossi Azar, Rohit Khandekar
IJCAI
1997
15 years 7 months ago
Implementing BDI-like Systems by Direct Execution
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
Michael Fisher
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 6 months ago
Formation of virtual organizations in grids: a game-theoretic approach
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
Thomas E. Carroll, Daniel Grosu
CONCURRENCY
2008
89views more  CONCURRENCY 2008»
15 years 6 months ago
An experiment with reflective middleware to support grid-based flood monitoring
Flooding is a growing problem, which affects more than 10% of the UK population. The cost of damage caused by flooding correlates closely with the warning time given before a floo...
Danny Hughes, Phil Greenwood, Gordon S. Blair, Geo...
ICSE
2012
IEEE-ACM
13 years 8 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang