Programming Languages and Systems
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...
اقرأ المزيد
Programming Languages and Systems (vol. # 3444)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Programming Languages and Systems (vol. # 3924)
This volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
اقرأ المزيد
Programming Multi-Agent Systems (vol. # 3346)
This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
اقرأ المزيد
Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
اقرأ المزيد
Progress in Cryptology - AFRICACRYPT 2008 : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
اقرأ المزيد
Progress in Cryptology – Mycrypt 2005
Mycrypt 2005 was the inaugural international conference on cryptology hosted in Malaysia. The conference was co-organized ...
اقرأ المزيد
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيد
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 ...
اقرأ المزيد
Responsible Innovation Business Opportunities and Strategies for Implementation
This book, Responsible innovation provides benefits for society, for instance more sustainable products, more engagement ...
اقرأ المزيد
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيد
Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
اقرأ المزيد
Smart Card Research and Advanced Applications : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings
This book deals with the various issues related to the use of small electronic tokens in the process of human-machine interactions. ...
اقرأ المزيد
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
اقرأ المزيد
Supply Chain Management with APO
The Advanced Planner and Optimiser (APO) is the software from SAP dedicated to supply chain management. This book provides ...
اقرأ المزيد
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
اقرأ المزيد
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
اقرأ المزيد
The Fast Solution of Boundary Integral Equations
The use of surface potentials to describe solutions of partial differential equations goes back to the middle of the 19th ...
اقرأ المزيد
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
اقرأ المزيد
The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
اقرأ المزيد
