9067 search results - page 1665 / 1814 » Adaptive Model Checking |
180
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Recent work on continuous queries has focused on processing queries in very large, mobile environments. In this paper, we propose a system leveraging the computing capacities of mo...
182
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
185
click to vote
ESOA
2006
15 years 10 months ago
2006
Evolutionary algorithms based on "tags" can be adapted to induce cooperation in selfish environments such as peer-to-peer systems. In this approach, nodes periodically co...
202
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
189
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
The success of a company more and more depends on its ability to flexibly and quickly react to changes. Combining process management techniques and conversational case-based reason...