462 search results - page 80 / 93 » Providing an Infrastructure for A Cross Database Management ... |
VLDB
2004
ACM
14 years 21 days ago
2004
ACM
It is well established that bitmap indices are efficient for read-only attributes with low attribute cardinalities. For an attribute with a high cardinality, the size of the bitma...
VSTTE
2005
Springer
14 years 25 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
IFIP
2001
Springer
13 years 11 months ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Intel? Mash Maker is an interactive tool that tracks what the user is doing and tries to infer what information and visualizations they might find useful for their current task. M...