7776 search results - page 1521 / 1556 » Maintaining Maintainability |
160
click to vote
PPSN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...
157
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
242
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...
166
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
154
click to vote
UIST
2010
ACM
15 years 3 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...