Sciweavers

2644 search results - page 259 / 529
» Complex Interacting Infrastructure Systems
Sort
View
117
Voted
CONCUR
2007
Springer
15 years 8 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
111
Voted
SIGECOM
2006
ACM
115views ECommerce» more  SIGECOM 2006»
15 years 8 months ago
Multi-attribute coalitional games
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
Samuel Ieong, Yoav Shoham
112
Voted
CEC
2005
IEEE
15 years 4 months ago
Evolving autonomous agent control in the Xpilot environment
Abstract- Interactive combat games are useful as testbeds for learning systems employing evolutionary computation. Of particular value are games that can be modified to accommodate...
Gary B. Parker, Matt Parker, Steven D. Johnson
131
Voted
GPC
2008
Springer
15 years 3 months ago
Write Once, Run Anywhere - A Survey of Mobile Runtime Environments
The hype surrounding Web 2.0 and technologies such as AJAX shows: The future of distributed application development lies in Rich Internet Applications (RIAs), which are based on h...
Sören Blom, Matthias Book, Volker Gruhn, Rusl...
116
Voted
CIA
2006
Springer
15 years 6 months ago
The Helpful Environment: Distributed Agents and Services Which Cooperate
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
Austin Tate