144227 search results - page 28756 / 28846 » Using the |
ICLP
2011
Springer
13 years 1 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
In this paper, we examined the impact of project-level configurational choices of globally distributed software teams on project productivity, quality, and profits. Our analysis u...
IJPP
2011
13 years 1 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
Abstract—Secondary spectrum access is emerging as a promising approach for mitigating the spectrum scarcity in wireless networks. Coordinated spectrum access for secondary users ...