6328 search results - page 1027 / 1266 » From Quantity to Quality |
212
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Throughput maximization is a key challenge in cognitive radio ad hoc networks, where the availability of local spectrum resources may change from time to time and hopby-hop. To ach...
195
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
233
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
226
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
203
Voted
SOCIALCOM
2010
15 years 4 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...