This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThis volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
Lire la suiteThis paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
Lire la suiteThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
Lire la suiteThe papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Lire la suiteMycrypt 2005 was the inaugural international conference on cryptology hosted in Malaysia. The conference was co-organized ...
Lire la suiteThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Lire la suiteThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suiteThis book, Responsible innovation provides benefits for society, for instance more sustainable products, more engagement ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lire la suiteThis book deals with the various issues related to the use of small electronic tokens in the process of human-machine interactions. ...
Lire la suiteThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lire la suiteThe Advanced Planner and Optimiser (APO) is the software from SAP dedicated to supply chain management. This book provides ...
Lire la suiteThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lire la suiteThe Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Lire la suiteThe use of surface potentials to describe solutions of partial differential equations goes back to the middle of the 19th ...
Lire la suiteThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Lire la suiteThis volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
Lire la suite