3573 search results - page 461 / 715 » Reasoning about Codata |
155
click to vote
ICSM
2007
IEEE
16 years 25 days ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
170
click to vote
IEEESCC
2007
IEEE
16 years 25 days ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...
154
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
182
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
116
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper presents a learning-enhanced marketbased task allocation approach for oversubscribed domains. In oversubscribed domains all tasks cannot be completed within ...