Sciweavers

26071 search results - page 378 / 5215
» Making
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
IAT
2010
IEEE
15 years 4 months ago
Possibility Degree Method for Ranking Intuitionistic Fuzzy Numbers
Abstract--In this paper, we study the method of ranking intuitionistic fuzzy numbers. Firstly a possibility degree formula is defined to compare two intuitionistic fuzzy numbers. W...
Cui-Ping Wei, Xijin Tang
IPAW
2010
15 years 4 months ago
Provenance of Decisions in Emergency Response Environments
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
Iman Naja, Luc Moreau, Alex Rogers
PIMRC
2010
IEEE
15 years 4 months ago
Joint channel assignment and link scheduling for wireless mesh networks: Revisiting the Partially Overlapped Channels
Despite all the encouraging reports on the benefit of Partially Overlapped Channels (POCs), the relative simple interference models and rather arbitrary network settings considered...
Xiang Liu, Jun Luo
SEKE
2010
Springer
15 years 4 months ago
Towards an Automation of Software Evolution Good Practices
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...
Chouki Tibermacine, Soraya Sakhraoui, Vincent Le G...