3729 search results - page 662 / 746 » On Formal Modeling of Agent Computations |
163
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
161
click to vote
WDAG
2009
Springer
16 years 22 days ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
121
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...
167
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
149
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...