 
                From science according to Popper and Toulmin to theater according to Morteo and Brecht, a path is built between the two disciplines ...
Lire la suite 
                In August 2005, a small but important conference took place at Chuo University in Tokyo, Japan. This international conference, ...
Lire la suite 
                This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suite 
                This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suite 
                To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lire la suite 
                "Take away my knee pain and give me better motion". This is what the arthritic patient expects from a Total Knee Arthroplasty ...
Lire la suite 
                Le tableau de bord de la performance totale vise le développement maximum de tous les collaborateurs de l'entreprise et ...
Lire la suite 
                Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...
Lire la suiteThe selection of case studies presents LCM as a business management approach that can be used by all types of businesses ...
Lire la suite 
                The authors investigate traffic-grooming problems in optical WDM mesh networks from various aspects. They cover static and ...
Lire la suite 
                This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
Lire la suite 
                This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Lire la suite 
                The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
Lire la suite 
                Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lire la suite 
                This volume collects essays that broadly encompass the digital arts, Transdisciplinary Digital Art gives a clear overview ...
Lire la suite 
                This book constitutes the thoroughly refereed postproceedings of the International Workshop on Trends in Enterprise Application ...
Lire la suite 
                Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, ...
Lire la suite 
                What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...
Lire la suiteA major focus of Turbo-like Codes is on high speed turbo decoding, which targets applications with data rates of several ...
Lire la suite 
                Over the past three decades turbomachines experienced a steep increase in efficiency and performance. Based on fundamental ...
Lire la suite