You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.
This book constitutes the proceedings of the 8th International Conference on Network and System Security, NSS 2014, held in Xi'an, China, in October 2014. The 35 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 155 initial submissions. The papers are organized in topical sections on cloud computing, access control, network security, security analysis, public key cryptography, system security, privacy-preserving systems and biometrics, and key management and distribution.
This book presents the state of the art of research and development of computational reflection in the context of software engineering. Reflection has attracted considerable attention recently in software engineering, particularly from object-oriented researchers and professionals. The properties of transparency, separation of concerns, and extensibility supported by reflection have largely been accepted as useful in software development and design; reflective features have been included in successful software development technologies such as the Java language. The book offers revised versions of papers presented first at a workshop held during OOPSLA'99 together with especially solicited contributions. The papers are organized in topical sections on reflective and software engineering foundations, reflective software adaptability and evolution, reflective middleware, engineering Java-based reflective languages, and dynamic reconfiguration through reflection.
The 13th issue of the Transactions on Computational Science journal consists of two parts. The six papers in Part I span the areas of computing collision probability, digital image contour extraction, multiplicatively weighted Voronoi diagrams, multi-phase segmentation, the rough-set approach to incomplete information systems, and fault-tolerant systolic arrays for matrix multiplications. The five papers in Part II focus on neural-network-based trajectory prediction, privacy in vehicular ad-hoc networks, augmented reality for museum display and the consumer garment try-on experience, and geospatial knowledge discovery for crime analysis.
This book constitutes the proceedings of the 22nd Conference on Passive and Active Measurement, PAM 2021, which was planned to be held in Cottbus, Germany, in March 2021. Due to the Corona pandemic, the conference was organized as a virtual meeting. The 33 full papers presented in this volume were carefully reviewed and selected from 75 submissions. They were organized in topical sections named: COVID-19; web security; video streaming; TLS; staying connected; DoS; performance; network security; DNS; capacity; and exposing hidden behaviors. Due to the Corona pandemic, PAM 2021 was held as a virtual conference.
The November 1999 conference proceedings features papers covering databases, software engineering, artificial intelligence, distributed systems, computer graphics, operating systems, programming languages, algorithm and data structures, and the web. Among the topics of the 27 papers in this volume are an adaptive approach for dynamically generating behavior nets on intelligent agents, decision tree-based paraconsistent learning, analyzing and comparing architectural styles, adaptive square triangulations as multiresolution model in volume visualization, enhancing the Bayesian network approach to face detection, and integrating true concurrency into the robot programming language GOLOG. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
This book constitutes the refereed proceedings of the 8th International Conference on Information and Communications Security, ICICS 2006, held in Raleigh, NC, USA, December 2006. The 22 revised full papers and 17 revised short papers cover security protocols, applied cryptography, access control, privacy and malicious code, network security, systems security, cryptanalysis, applied cryptography and network security, and security implementations.
This book presents a distinctive way of understanding quantum correlations beyond entanglement, introducing readers to this less explored yet very fundamental aspect of quantum theory. It takes into account most of the new ideas involving quantum phenomena, resources, and applications without entanglement, both from a theoretical and an experimental point of view. This book serves as a reference for both beginner students and experienced researchers in physics and applied mathematics, with an interest in joining this novel venture towards understanding the quantum nature of the world.