The focus of this book deals with a cross cutting issue affecting all transport disciplines, whether it be photon, neutron, charged particle or neutrino transport. That is, verification and validation
Hypercomputation is a relatively new theory of computation that is about computing methods and devices that transcend the so-called Church-Turing thesis. This book will provide a thorough description
The European Conference on Computer and Network Defense draws contributions and participation both from academia and industry, and addresses security from multiple perspectives, including state-of-th
Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge con
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20
This book covers theoretical and experimental work in sub-areas of machine perception and is structured into 4 parts.The first part presents novel methodologies to extract unique thermal infrared sign
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and b
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AMEC IX, co-located with the Sixth International Join
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.The 21 revised
The Semantic Web is a vision - the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reu
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape
This book constitutes the refereed proceedings of the Third European Conference on Smart Sensing and Context, EuroSSC 2008, held in Zurich, Switzerland, October 29-31, 2008.The 17 revised full papers
This book is devoted to graduate students and researchers with different scientific background (including physics, mathematics, biology, neuroscience, etc.) who wish to learn brain science beyond the
With Security in Computing Systems, Joachim Biskup introduces, surveys and assesses the fundamentals of security with respect to all activities that individuals or groups directly or indirectly perfor
Mixed Reality is moving out of the research-labs into our daily lives. It plays an increasing role in architecture, design and construction. The combination of digital content with reality creates an
This second edition provides easy access to important concepts, issues and technology trends in the field of multimedia technologies, systems, techniques, and applications. Over 1,100 heavily-illustra
This book constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement, IWSM 2008, the DASMA Metrik Kongress, Metrikon 2008, and the International Co
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during
This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.The 20 revised full papers presen
This book constitutes the refereed proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2008, held in Detroit, MI, USA, in November 2008.T
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007.The 35 revised full
This book constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in
A modern information retrieval system must have the capability to find, organize and present very different manifestations of information – such as text, pictures, videos or database records – any of
This book constitutes the thoroughly refereed joint post-workshop proceedings of three international workshops held in conjunction with the 10th Asia-Pacific Web Conference, APWeb 2008, in Shenyang, C
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Information Networking, ICOIN 2007, held in Estoril, Portugal, in January 2007.The 82 revis
This book constitutes the refereed proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008.The 18 revised full papers presented together with 1
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008.The 27 revised full papers
This book constitutes the refereed proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC 2008, held in Sydney, Australia, in December 2008.The 32 revised full papers and
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap
This volume constitutes the proceedings of the 7th International Conference on Simulated Evolution and Learning, SEAL 2008, held in Melbourne, Australia, during December 7-10, 2008.The 65 papers prese
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in
This book constitutes the refereed proceedings of the 9th Pacific Rim Conference on Multimedia, PCM 2008, held in Tainan, Taiwan, in December 2008.The 79 revised full papers and 39 revised poster pres
This book constitutes the refereed proceedings of the 8th International Symposium on Web and Wirelsss Geographical Information Systems, W2GIS 2008, held in Shanghai, China, in December 2008. The 14 re
This book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE 2008, held in Shanghai, China, in December 2008.The 68 revised full papers pres
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more
The purpose of Interactive Visualization is to develop new scientific methods to increase scientists’ abilities to explore data and to understand better the results of experiments based on extensive c
The ease of access, relative anonymity, and borderless nature of the Internet has allowed widespread computer-based crime - or cybercrime - to proliferate rapidly. Law enforcement and international s
The lifeblood of the global economy, information has become a source of growing risk as more firms maintain information online. With risks now fueled by sophisticated, organized, malicious groups, in
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. First, scientific issues of semantic grid systems are covered, followed by tw
