This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches
Earth observation technology for GIS interacts with space, computer, communication, remote sensing, and information technologies, and plays an increasingly significant role in earth science studies f
This book constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer and Computing Technologies in Agriculture.The IFIP series publishes state-of-the-art results in the
This book constitutes the refereed proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Hamburg, Germany, in September 2009.The 25 ful
The objective of this state-of-the-art survey is to give a coherentoverview of the main topics and results achieved by the Network of Excellence REWERSE on "Reasoning on the Web", funded by the Europe
This volume constitutes the selected paqpers of the third international conference on Metadata and Semantic Research, MTSR 2009, held in Milan, Italy, in September/October 2009. In order to give a nov
The two-volume set LNAI 5711 and LNAI 5712 constitutes the refereed proceedings of the 13th International Conference on Knowledge-Based Intelligent Information and Engineering Sysetms, KES 2009, held
This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference
This book constitutes the refereed proceedings of the bienially held International Conference on Computer Analysis of Images and Patterns, CAIP 2009, which took place in Munster, Germany, September 2-
This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 2009.The 28 full papers were caryfully sel
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNM
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, held in Nancy, France, in September 2009.The 31 revised papers were selected f
This book constitutes the proceedings of the First International Conference on Computational Collective Intelligence, ICCCI 2009, held in Wroclaw, Poland, in October 2009. The 71 papers presented in t
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers
This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009.The 18 revised full papers and 20 revised poster pape
This state-of-the-art-survey documents the scientific outcome of the International Workshop on "Multimodal Corpora: From Models of Natural Interaction to Systems and Applications", held in conjunction
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2009, held in Kuopio, Finland, in April 2009.Th
The annual International Conference on Access Networks (AccessNets) aims to provide a forum that brings together researchers and scientists from academia as well as man- ers and engineers from industr
The two-volume set LNAI 5711 and LNAI 5712 constitutes the refereed proceedings of the 13th International Conference on Knowledge-Based Intelligent Information and Engineering Sysetms, KES 2009, held
This book constitutes the refereed proceedings ofthe 2nd IFIP International Conference on Computer and Computing Technologies in Agricultureheld in Beijing, Chinaon October 18-20, 2
From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rew
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices
This book constitutes the refereed proceedings of the 8th International Conference on Web-Based Learning, ICWL 2009, held in Aachen, Germany, in August 2009.The 38 revised full papers and 14 short pap
This book constitutes the refereed proceedings of the Second IFIP WG 6.8 Joint Conference on Wireless and Mobile Networking, WMNC 2009, held in Gdansk, Poland, in September 2009.The 30 thoroughly revi
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its a
This book constitutes the refereed proceedings of the 6th International XML Database Symposium, XSym 2009, held in Lyon, France, in August 2009 in conjunction with the International Conference on Very
This volume constitutes the refereed proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2008, held in Heidelberg, Germany, in May 2008. The EUROBOT Conference 2
This book constitutes the refereed proceedings of the 20th International Conference on Database and Expert Systems Applications, DEXA 2009, held in Linz, Austria, in August/September 2009.The 35 revis
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
The two volume set LNCS 5726 and LNCS 5727 constitutes the refereed proceedings of the 12th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2009, held in Uppsala, Sweden, in
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s
This book constitutes the refereed proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2009 held in Linz, Austria in August/September 2009.The 36 revise
This book constitutes the refereed proceedings of the 16th String Processing and Information Retrieval Symposium, SPIRE 2009 held in Saariselka, Finland in August 2009.The 34 revised full papers were
This contributed volume is dedicated to the subject of performance evaluation and benchmarking of intelligent systems by drawing from the experiences and insights of experts gained both through theore
With our society's growing dependency on information technology, systems security is crucial. One of the most critical development phases of a network intrusion detection system is the feature "selec
This unique guide/reference is the very first comprehensive book on the subject of OCR for Indic scripts, providing an overview of the state-of-the-art research in this field as well as other issues
R, a free and open source program, is one of the most powerful and the fastest-growing statistics program. Microsoft Excel is the most widely used spreadsheet program, but many statisticians consider
From Combinatorics to Philosophy: The Legacy of G.-C. Rota provides an assessment of G.-C. Rota's legacy to current international research issues in mathematics, philosophy and computer science. This
Multicore Processors and Systems provides a comprehensive overview of emerging multicore processors and systems. It covers technology trends affecting multicores, multicore architecture innovations, m
New paradigms for communication/networking systems are needed in order to tackle the emerging issues such as heterogeneity, complexity and management of evolvable infrastructures. In order to realize
