
Recommendations
Transaction support for indexed summary views
SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of dataMaterialized views have become a standard technique for performance improvement in decision support databases and for a variety of monitoring purposes. In order to avoid inconsistencies and thus unpredictable query results, materialized views and their ...
Debugging methodology (Session Summary)
SIGSOFT '83: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debuggingTwo sessions were held on the general topic of debugging methodology. Both were moderated by R. Stockton Gaines. During the first session five speakers presented short talks on their workshop submissions. Each talk was followed by a brief question and ...
From One Session to Many: Dynamic Tags for Security Protocols
LPAR '08: Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and ReasoningThe design and verification of cryptographic protocols is a notoriously difficult task, even in abstract Dolev-Yao models. This is mainly due to several sources of unboundedness (size of messages, number of sessions, ...). In this paper, we characterize ...






Comments