Enterprise data is growing at a much faster rate than traditional technologies allow. New enterprise architectures combining existing technologies are desperately needed. This book suggests a way forward by applying new techniques of the World Wide Web to enterprise information …
Linking Enterprise Data
This book constitutes the thorougly refereed proceedings of the Second International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2011, held in Toulouse, France, in August/September 2011, in conjunction with DEXA 2011. The 13 long papers and 5 shor…
Grid and Cloud Database Management
This book constitutes the refereed proceedings of the 18th International Symposium on Methodologies for Intelligent Systems, ISMIS 2009, held in Prague, Czech Republic, in September 2009. The 60 revised papers presented together with 4 plenary talks were carefully reviewed and s…
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique…
"This book is the first text on model checking at a graduate/undergraduate level. It is divided into three parts. The first part is concerned with the fundamental notions (modelling with finite automata, synchronous product of automata, temporal logic, model-checking algorithms,…
Data and applications security and privacy XXIV: proceedings
by Foresti, Sara, IFIP., Working Group 11.3, Data and Application Security, Fédération Internationale pour le Traitement de l'Information., Working Group 11.3, Data and Application Security, IFIP WG 11.3 Workshop on Database Security
fromLecture Notes in Computer Science
