12774 search results - page 2208 / 2555 » A Framework for Proof Systems |
202
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Well-designed indices can dramatically improve query performance. Including query workload information can produce indices that yield better overall throughput while balancing the...
201
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
160
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
To probe network characteristics, two predominant ways of network comparison are global property statistics and subgraph enumeration. However, they suffer from limited information...
189
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
200
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....