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