6978 search results - page 1225 / 1396 » On Proofs in System P |
ICCD
2007
IEEE
14 years 6 months ago
2007
IEEE
As chip multiprocessors (CMPs) become the only viable way to scale up and utilize the abundant transistors made available in current microprocessors, the design of on-chip network...
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
—Service Level Agreements (SLA) are commonly used to define terms and conditions of service provisioning. WS-Agreement1 is an SLA specification that addresses the need of both ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
We explore the ways in which interfaces can be designed to deceive users so as to create the illusion of magic. We present a study of an experimental performance in which a magici...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Developers spend significant time reading and navigating code fragments spread across multiple locations. The filebased nature of contemporary IDEs makes it prohibitively difficul...
EDBT
2010
ACM
14 years 4 months ago
2010
ACM
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...