Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
ModelEd, TestEd, TrustEd
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
Runtime Verification
Annotation. This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems.
Mobile Computing
Mobile computing is rapidly becoming a way of life. This is the fastest emerging field, which has created a need for new techniques and solutions. To fulfill need of the hour, this book is designed for graduate and postgraduate students in B. Tech. computer science & Information Technology, computer applications, research scholars and for professionals.
Research and Advanced Technology for Digital Libraries
This book constitutes the refereed proceedings of the Third European Conference on Research and Advanced Technology for Digital Libaries, ECDL'99, held in Paris, France in September 1999. The 26 revised full papers presented were carefully reviewed and selected from a total of 124 submissions. The book is divided in topical sections on image categorization and access, audio and video in digital libraries, information retrieval, user adaptation, knowledge sharing, cross language issues, case studies, and modelling, accessability and connectedness.
Advances in Database Technology - EDBT '98
This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia, Spain, in March 1998. The 32 revised full papers presented together with one invited keynote were selected from a total of 191 submissions. The book is divided in sections on similarity search and indexing, query optimization on the Web, Algorithms for data mining, modelling in OLAP, query processing and storage management, aggregation and summary data, object-oriented and active databases, view maintenance and integrity, databases and the Web, workflow and scientific databases.
Database Systems For Advanced Applications '97 - Proceedings Of The 5th International Conference On Database Systems For Advanced Applications
This volume contains the proceedings of the Fifth International Conference on Database Systems for Advanced Applications (DASFAA '97). DASFAA '97 focused on advanced database technologies and their applications. The 55 papers in this volume cover a wide range of areas in the field of database systems and applications - including the rapidly emerging areas of the Internet, multimedia, and document database systems - and should be of great interest to all database system researchers and developers, and practitioners.
Database Systems for Advanced Applications '97
This volume contains the proceedings of the Fifth International Conference on Database Systems for Advanced Applications (DASFAA '97). DASFAA '97 focused on advanced database technologies and their applications. The 55 papers in this volume cover a wide range of areas in the field of database systems and applications ? including the rapidly emerging areas of the Internet, multimedia, and document database systems ? and should be of great interest to all database system researchers and developers, and practitioners.
