Sciweavers

4767 search results - page 603 / 954
» Moving between Contexts
Sort
View
FOCS
2008
IEEE
16 years 1 months ago
On the Hardness of Being Truthful
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
Christos H. Papadimitriou, Michael Schapira, Yaron...
MEMOCODE
2008
IEEE
16 years 1 months ago
Estimating the Performance of Cache Replacement Policies
—Caches are commonly employed to hide the latency gap between memory and the CPU by exploiting locality in memory accesses. The cache performance strongly influences a system’...
Daniel Grund, Jan Reineke
SEAA
2008
IEEE
16 years 1 months ago
Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification
When software systems incorporate existing software components, there is a need to evaluate these components. Component evaluation is of two kinds according to literature: compone...
Rikard Land, Alexandre Alvaro, Ivica Crnkovic
SOSE
2008
IEEE
16 years 1 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
VL
2008
IEEE
133views Visual Languages» more  VL 2008»
16 years 1 months ago
Analyzing a socio-technical visualization tool using usability inspection methods
Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a varia...
Erik Trainer, Stephen Quirk, Cleidson R. B. de Sou...