9110 search results - page 1718 / 1822 » Formally-Based Design Evaluation |
ACMDIS
2004
ACM
14 years 3 months ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
ACMICEC
2004
ACM
14 years 3 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
ACMICEC
2004
ACM
14 years 3 months ago
2004
ACM
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
ACMMSP
2004
ACM
14 years 3 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
ASPLOS
2004
ACM
14 years 3 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...