DAPSY (Austrian-Hungarian Workshop on Distributed and Parallel Systems) is an international conference series with biannual ...
Continue readingThe book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Continue readingThe book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Continue readingThis book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao ...
Continue readingThis book contains papers from the 2007 European Conference on Web Services and the Workshop on Emerging Web Services Technology. ...
Continue readingThe criteria used to select the fifteen contributions in this book were their impact on the scientific debate at the time ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Parallel Computing, Euro-Par 2005, ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Parallel Computing, Euro-Par 2006. ...
Continue readingThis book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
Continue readingThis book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
Continue readingThis book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...
Continue readingDuring the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
Continue readingThis book closes the gap in the treatment of steel and cast iron. Each chapter takes into account the gradual transitions ...
Continue readingProvides an introduction to the fundamentals of operational and strategic controlling. It conveys the central tasks and functions ...
Continue readingFEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
Continue readingTesting often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Continue readingThepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Continue readingThis volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Continue readingThe aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Continue reading