Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...
Lire la suite
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lire la suite
Programming Languages and Systems
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suiteProgramming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lire la suite
Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Lire la suite
Recent Advances in Reinforcement Learning : 8th European Workshop, EWRL 2008, Villeneuve d’Ascq, France, June 30-July 3, 2008, Revised and Selected Papers
They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lire la suite
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suite
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suite
Resilient Networks and Services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suite
Robot Vision : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings
obot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
Lire la suite
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suite
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suite
Scientific and Statistical Database Management : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings
This book is organized in topical sections on query optimization in scientific databases, privacy, searching and mining graphs, ...
Lire la suite
Semantic Multimedia and Ontologies : Theory and Applications
Taking a step-by-step approach, and drawing on the expertise of key researchers in the multimedia and knowledge domains, ...
Lire la suite
Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers
This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suite
Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings
The book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lire la suite
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suite
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lire la suite
Social Dimensions Of Information And Communication Technology Policy : Proceedings of the Eighth International Conference on Human Choice and Computers (HCC8), IFIP TC 9, Pretoria, South Africa, September 25-26, 2008
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suite
Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings
This book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...
Lire la suite
