Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Principles of Security and Trust
This open access book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.
NASA Formal Methods
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
Fundamental Approaches to Software Engineering
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Technology, Innovation, and Enterprise Transformation
Technical advancements are an important part of modern society, but particularly important in the business world. The success or failure of business operations can be affected by the technical operations working within it. Technology, Innovation, and Enterprise Transformation addresses the crucial relationship between a business and its technical implementations, and how current innovations are changing how the industry operates. Highlighting current theoretical frameworks, novel empirical research discoveries, and fundamental literature surveys, this book is an essential reference source for academicians, professionals, and researchers who are interested in the latest technical insights within the business field.
Banking, Finance, and Accounting: Concepts, Methodologies, Tools, and Applications
With the global economy still in recovery, it is more important than ever for individuals and organizations to be aware of their money and its potential for both depreciation and growth. Banking, Finance, and Accounting: Concepts, Methodologies, Tools, and Applications investigates recent advances and undertakings in the financial industry to better equip all members of the world economy with the tools and insights needed to weather any shift in the economic climate. With chapters on topics ranging from investment portfolios to credit unions, this multi-volume reference source will serve as a crucial resource for managers, investors, brokers, and all others within the banking industry.
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.
Runtime Verification
None
Software Process Improvement and Capability Determination
This volume constitutes the refereed proceedings of the 18th International Conference on Software Process Improvement and Capability Determination, SPICE 2018, held in Tessaloniki, Greece, in October 2018. The 26 full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: SPI systematic literature reviews; SPI and assessment; SPI methods and reference models; SPI education and management issues; SPI knowledge and change processes; SPI compliance and configuration; SPI and agile; industry short papers.
Self-Aware Computing Systems
This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering. It describes architectures and algorithms for self-aware systems as well as the benefits and pitfalls of self-awareness, and reviews much of the latest relevant research across a wide array of disciplines, including open research challenges. The chapters of this book are organized into five parts: Introduction, System Architectures, Methods and Algorithms, Applications and Case Studies, and Outlook. Part I offers an introduction that defines self-aware computing system...
Global Security, Safety, and Sustainability
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Global Security, Safety, and Sustainability (ICDS3), and of the 4th e-Democracy Joint Conferences (e-Democracy 2011) which were held in Thessaloniki in August 2011. The 37 revised full papers presented were carefully selected from numerous submissions. Conference papers promote research and development activities of innovative applications and methodologies and applied technologies.
