Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic ...
Continue reading 
                New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Continue reading 
                SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Continue reading 
                SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...
Continue reading 
                This book presents in a concise format the methods used to develop mathematical models for water and wastewater treatment. ...
Continue reading 
                For life to be understood and disease to become manageable, the wealth of postgenomic data now needs to be made dynamic. ...
Continue reading 
                Systems biology is defined for the purpose of this study as the understanding of biological network behaviors, and in particular ...
Continue reading 
                This book constitutes the thoroughly refereed post-proceedings of two joint RECOMB 2005 satellite events - the First Annual ...
Continue reading 
                The Asia Simulation Conference 2006 (JSST 2006) was aimed at exploring challenges in methodologies for modeling, control ...
Continue reading 
                This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
Continue reading 
                The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading 
                This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...
Continue reading 
                The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...
Continue reading 
                This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Continue reading 
                Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
Continue reading 
                This book includes e-learning platforms and tools, e-learning system for education, application of e-learning systems, e-learning ...
Continue reading 
                This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...
Continue reading 
                This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...
Continue reading 
                With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
Continue reading 
                The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
Continue reading