Sciweavers

1124 search results - page 55 / 225
» Hidden Market Design
Sort
View
TPCTC
2010
Springer
149views Hardware» more  TPCTC 2010»
14 years 9 months ago
A Discussion on the Design of Graph Database Benchmarks
Graph Database Management systems (GDBs) are gaining popularity. They are used to analyze huge graph datasets that are naturally appearing in many application areas to model interr...
David Dominguez-Sal, Norbert Martínez-Bazan...
EUROMICRO
1996
IEEE
15 years 3 months ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
Corrie Huijs
EUROMICRO
1998
IEEE
15 years 3 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
EDBT
2010
ACM
184views Database» more  EDBT 2010»
15 years 1 months ago
PARINDA: an interactive physical designer for PostgreSQL
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
Cristina Maier, Debabrata Dash, Ioannis Alagiannis...
HCI
2009
14 years 9 months ago
Insight into Kansei Color Combinations in Interactive User Interface Designing
Color has a major impact on Human Computer Interaction. Although there is a very thin line between appropriate and inappropriate use of color, if used properly, color can be a powe...
K. G. D. Tharangie, Shuichi Matsuzaki, Ashu Marasi...