You may have to Search all our reviewed 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 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 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.
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.
None
None
None