This book constitutes the refereed proceedings of the 6th International Conference On Smart Homes and and Health Telematics, ICOST 2008, held in Ames, IA, USA, in June/July 2008.The 24 revised full pa
This book constitutes the refereed proceedings of the 9th International Conference on Product Focused Software Process Improvement, PROFES 2008, held in Monte Porzio Catone, Italy, in June 2008.The 31
This book constitutes the thoroughly refereed post-conference proceedings of the Third SKLOIS (State Key Laboratory of Information Security) Conference on Information Security and Cryptology, Inscrypt
This state-of-the-art survey presents the outcome of the eSTREAM Project, which was launched in 2004 as part of ECRYPT, the European Network of Excellence in Cryptology (EU Framework VI). The goal of
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008.The 19 revised full papers presented tog
This book constitutes the refereed proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008.The 29 revised full papers presented together with abstracts
This book constitutes the proceedings of the 9th International Conference on Web Information Systems Engineering, WISE 2008, held in Auckland, New Zealand, in September 2008.The 17 revised full papers
This book constitutes the refereed proceedings of the 19th International Conference on Database and Expert Systems Applications, DEXA 2008, held in Turin, Italy, in September 2008.The 74 revised full
This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the 4th International Summer School on the Reasoning Web, held in Venice, Italy,
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in Sep
This book constitutes the refereed proceedings of the 5th VLDB Workshop on Secure Data Management, SDM 2008, held in Auckland, New Zealand, on August 24, 2008, in conjunction with VLDB 2008.The 11 rev
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in O
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland,
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2008 and the 12th International Work
This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, held in Las Palmas de Gran Canaria, Spain, in August 2008.The 86 revised paper
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, Pairing 2008, held in London, UK, in September 2008.The 20 full papers,
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Software Measurement, IWSM-Mensura 2007, held in Palma de Mallorca, Spain, in November 2007.The 16 revis
This book constitutes the refereed proceedings of the Third International Conference on Image and Signal Processing, ICISP 2008, held in Cherbourg-Octeville, France, in July 2008.The 48 revised full p
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th In
This book constitutes the refereed proceedings of the 5th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2008, held in Paris, France in July 2008.
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers prese
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Tutoring Systems, ITS 2008, held in Montreal, Canada, in June 2008.The 63 revised full papers and 61 p
This book constitutes the thoroughly refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008 .The 17 revised full papers pr
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap betwe
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Multi-Agent-Based Simulation, MABS 2007, held in Honolulu, HI, USA in May 2007 as an associated even
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in Beijing, China, in May 2008.The 40 revised full papers presented together with
This book contributes the thoroughly refereed post-conference proceedings of the 6th International Conference on Web-Based Learning, ICWL 2007, held in Edinburgh, UK, in August 2007.The 55 revised ful
This book constitutes the refereed proceedings of the 6th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2008, held in Naples, Italy, in Ma
This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in Marc
Welcome to the proceedings of the 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008) which was held in New Delhi, India. DASFAA 2008 continued the tradition of p
The 2008 edition of the Passive and Active Measurement Conference was the ninth of a series of successful events. Since 2000, the Passive and Active M- surement (PAM) conference has provided a forum f
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently
TCC 2008, the 5th Theory of Cryptography Conference, was held in New York, New York, March 19–21, 2008, at New York University. TCC 2008 was sp- soredbytheInternationalAssociationforCryptologicResearc
This book constitutes the refereed proceedings of the 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2008, held in Istanbul, Turkey, in Apri
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Early Aspects: Current Challenges and Future Directions, held in March 2007 in Vancouver, Canada, c
This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2007, held in Taipei, Taiwan, in December 2007. The 65 revised full papers pres
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held in Saint-Malo, France, in December 2007. The 12 revised full papers, three i
This book constitutes the refereed proceedings of the 7th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2007, held in Cardiff, UK, in November 2007. The 21 revise