Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Computer Performance Evaluation
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
The Executive Guide to Blockchain
Keeping up with fast evolving technology is a challenge that every business leader faces. As organisations start to wake up to the Fourth Industrial Revolution, it’s becoming more important than ever to be able to utilise and exploit new digital platforms. With the simple aim of demystifying blockchain for business leaders, The Executive Guide to Blockchain offers a jargon-free explanation and framework to better understand blockchain technologies and their impact on organizations. Enabling any business leader with or without specific computing knowledge to reap the benefits of blockchain whilst understanding the limitations, this book will empower you to: Identify opportunities for blockchain in your own business sectors Understand smart contracts and their relationship with the law Create a blockchain strategy and business case Implement blockchain technologies and maximise their potential. Written by experts in non-technical language, this practical resource can be applied to any industry, and arm you with the knowledge needed to capture the possibilities of digital business.
Computer Performance Evaluation: Modelling Techniques and Tools
This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002. The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions -...
Performance Evaluation: Metrics, Models and Benchmarks
This book constitutes the thoroughly refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008 . The 17 revised full papers presented were carefully selected out of 39 submissions for inclusion in the book. The papers are organized in topical sections on models for software performance engineering; benchmarks and workload characterization; Web services and service-oriented architectures; power and performance; and profiling, monitoring and optimization.
Analytical and Stochastic Modeling Techniques and Applications
This book constitutes the refereed proceedings of the 20th International Conference on Analytical and Stochastic Modelling and Applications, ASMTA 2013, held in Ghent, Belgium, in July 2013. The 32 papers presented were carefully reviewed and selected from numerous submissions. The focus of the papers is on the following application topics: complex systems; computer and information systems; communication systems and networks; wireless and mobile systems and networks; peer-to-peer application and services; embedded systems and sensor networks; workload modelling and characterization; road traffic and transportation; social networks; measurements and hybrid techniques; modeling of virtualization; energy-aware optimization; stochastic modeling for systems biology; biologically inspired network design.
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithm...
Big Data Innovations and Applications
This volume constitutes the refereed proceedings of the 5th International Conference on Big Data Innovations and Applications, Innovate-Data 2019, held in Istanbul, Turkey, in August 2019. The 15 revised full papers and 1 short paper presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on advances in big data systems; machine learning and data analytics; big data innovation and applications; security and risk analysis.
Computer Performance Engineering
This book constitutes the refereed proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, held in The English Lake District in October 2011. The 16 regular papers and 6 poster presentations papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on performance-oriented design and analysis methods, model checking and validation, simulation techniques and experimental design, performability modelling and performance and power consumption tradeoffs.
Theory and Application of Multi-Formalism Modeling
With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
