6601 search results - page 886 / 1321 » Optimal Distributed Arc-Consistency |
155
click to vote
KBSE
2003
IEEE
16 years 6 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
196
click to vote
ERLANG
2003
ACM
16 years 5 days ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
176
click to vote
ATAL
2003
Springer
16 years 5 days ago
2003
Springer
In our previous research we suggested an approach to maximizing agents preferences over schedules of multiple tasks with temporal and precedence constraints. The proposed approach...
169
click to vote
ATAL
2003
Springer
16 years 5 days ago
2003
Springer
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...
191
click to vote
EAGC
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. In this paper, we analyze the problem of grid resource brokering in the presence of economic information about the price of resources. We examine in detail the main tasks...