The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in com
This book provides a concise overview of the recent development in geocomputing, which covers the model construction and result visualisation, advanced computational theory and high performance softwa
Semiconductor devices are ubiquitous in the modern computer and telecommunications industry. A precise knowledge of the transport equations for electron flow in semiconductors when a voltage is applie
This book constitutes the refereed proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009.The 39 revise
The wireless standards 3GPP Long Term Evolution (LTE), WiMAX, IEEE 802.11a/n, and DxB have in common that they apply the spectrally efficient multi-carrier modulation in order to achieve very high rat
This book constitutes the refereed proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2009, held in Mexico City, Mexico in March 200
This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in Octob
This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009.The 21 revised full p
Incorporating Knowledge Sources into Statistical Speech Recognition addresses the problem of developing efficient automatic speech recognition (ASR) systems, which maintain a balance between utilizin
This book is dedicated to the dreamers, their dreams, and their perseverance in research work. This volume brings together the selected and peer–reviewed contributions of the p- ticipants at the COST
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Provenance and Annotation Workshop, IPAW 2008, held in Salt Lake City, UT, USA, in June 2007.The 1
This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009.The 9 papers presented were carefully selected and reviewed for inclusion in
This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future g
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009.The
Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) al
This book constitutes the refereed proceedings of the Second International Workshop on Post-Quantum Cryptography, PQCrypto 2008, held in Cincinnati, OH, USA, in October 2008.The 15 revised full papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases, SDKB 2008, held in Nantes, France, on March 29, 20
This is the first book to cover the Holocene geology and geomorphology of the entire 8,500 kilometers of the Brazilian coast. It characterizes the coast in terms of Holocene geology, geomorphology, oc
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008.The 21 revised full papers presented were
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 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in Luxor, Egypt, in December 2008.The 30 full papers and 11
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are
This book constitutes the thoroughly refereed first three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2005, 2006, and 2
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 i
This book constitutes the refereed proceedings of the Third International Workshop on Self-Organizing Systems, IWSOS 2008, held in Vienna, Austria, December 10-12, 2008.The 20 revised full papers and
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2
This book constitutes the refereed proceedings of the Third Pacific Rim Symposium on Image and Video Technology, PSIVT 2009, held in Tokyo, Japan, in January 2009.The 39 revised full papers and 57 pos
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July
This book constitutes the refereed proceedings of the 10th International Conference on Distributed Computing and Networking, ICDCN 2009, held in Hyderabad, India, during January 3-6, 2009.The 20 paper
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Learning and Intelligent Optimization, LION 2007 II, held in Trento, Italy, in Decem
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software En
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Thir
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization,
This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009
This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008.The 33 revised full papers, selected
