Kategoria BISAC: Computers >> Computer Science

This book constitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2005, held in Edinburgh, UK in August/September 2005.

The 32 revised full papers presented were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on side channels, arithmetic for cryptanalysis, low resources, special purpose hardware, hardware attacks and countermeasures, arithmetic for cryptography, trusted computing, and efficient hardware.

This book constitutes the refereed proceedings of the Second International Workshop on Hybrid Metaheuristics, HM 2005, held in Barcelona, Spain, in August 2005.

The 13 revised full papers presented were carefully reviewed and selected from 37 submissions. The topics of this new emerging field addressed by the papers are: novel combinations of components from different metaheuristics, hybridization of metaheuristics and AI/OR techniques, low-level hybridization, high-level hybridization, portfolio techniques, expert systems, co-operative search, taxonomy, terminology, classification of...

This book constitutes the thoroughly refereed post-proceedings of the7th International Workshop on Information Hiding, IH 2005, held in Barcelona, Spain in June 2005.

The 28 revised full papers presented together with an invited talk were
carefully selected from 90 papers submitted. The papers are organized in topical sections on anonymity, watermarking, theory, watermark attacks, steganography, hiding in unusual content, steganalysis, software watermarking, and fingerprinting.

This book introduces the new experimentalism in evolutionary computation, providing tools to understand algorithms and programs and their interaction with optimization problems. It develops and applies statistical techniques to analyze and compare modern search heuristics such as evolutionary algorithms and particle swarm optimization. The book bridges the gap between theory and experiment by providing a self-contained experimental methodology and many examples.

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

The 5th Transactions on Computational Systems Biology collects carefully chosen and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing held in Beijing, China, in July 2005. The 9 papers in this special issue cover various aspects of computational methods, algorithms and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval.