5456 search results - page 745 / 1092 » General Equilibrium Theory |
158
click to vote
WWW
2005
ACM
16 years 8 days ago
2005
ACM
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
149
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
181
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
167
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
169
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...