Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.- Computing Skyline Incrementally in Response to Online Preference Modification.- The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.- ALACRITY: Analytics-Driven Lossless Data Compression for Rapid In-Situ Indexing, Storing, and Querying.- A Declarative Approach to View Selection Modeling.- A Framework for Modeling, Computing and Presenting Time-Aware Recommendations.- Incremental Mining of Top-k Maximal Influential Paths in Network Data.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.