10038 search results - page 1868 / 2008 » Model Checking for Managers |
120
click to vote
KESAMSTA
2010
Springer
14 years 11 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
112
click to vote
LOGCOM
2010
14 years 11 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
MONET
2010
14 years 11 months ago
2010
Distributed research testbeds play a fundamental role in the evaluation of disruptive innovations for the Future Internet. In recent years, the main research funding agencies have ...
108
click to vote
NAS
2010
IEEE
14 years 11 months ago
2010
IEEE
Blocking-ERS is an energy efficient route discovery algorithm for MANETs. It uses chase packets to improve the route request process. In Blocking-ERS, most of the time the fulfill...
106
Voted
PVLDB
2010
14 years 11 months ago
2010
Managing, searching and mining uncertain data has achieved much attention in the database community recently due to new sensor technologies and new ways of collecting data. There ...