4507 search results - page 609 / 902 » Generalized Binet dynamics |
158
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, a Qdecomposition...
151
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we focus on the problem of finding a periodic allocation strategy for teams of resource-bounded agents. We propose a real-time dynamic algorithm RTDA , that exploi...
175
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
We present a multi-agent coordination technique to maintain throughput of a large-scale agent network system in the face of failures of agents. Failures do not just deteriorate th...
150
click to vote
CALCO
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
160
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...