Описание: Getting numbers is easy; getting trustworthy numbers is hard. From experimentation leaders at Amazon, Google, LinkedIn, and Microsoft, this guide to accelerating innovation using A/B tests includes practical examples, pitfalls, and advice for students and industry professionals, plus deeper dives into advanced topics for experienced practitioners.
Автор: Zhiming Liu; Zili Zhang Название: Engineering Trustworthy Software Systems ISBN: 3319296272 ISBN-13(EAN): 9783319296272 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.
Автор: Thomas Feller Название: Trustworthy Reconfigurable Systems ISBN: 3658070048 ISBN-13(EAN): 9783658070045 Издательство: Springer Рейтинг: Цена: 9141.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ГЇВїВЅ Thomas Feller sheds some light on trust anchor architectures fortrustworthy reconfigurable systems. The trustworthiness of a system in general equates to the integrity of its system components.
Автор: Reif Название: Trustworthy Open Self-Organising Systems ISBN: 3319291998 ISBN-13(EAN): 9783319291994 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This booktreats the computational use of social concepts as the focal point for therealisation of a novel class of socio-technical systems, comprising smartgrids, public display environments, and grid computing.Thesesystems are composed of technical and human constituents that interact witheach other in an open environment. Heterogeneity, large scale, and uncertaintyin the behaviour of the constituents and the environment are the rule ratherthan the exception.Ensuringthe trustworthiness of such systems allows their technical constituents tointeract with each other in a reliable, secure, and predictable way while theirhuman users are able to understand and control them. 'TrustworthyOpen Self-Organising Systems' contains a wealth of knowledge, fromtrustworthy self-organisation mechanisms, to trust models, methods to measure auser's trust in a system, a discussion of social concepts beyond trust, andinsights into the impact open self-organising systems will have on society.
Описание: With an evolutionary advancement of Machine Learning (ML) algorithms, a rapid increase of data volumes and a significant improvement of computation powers, machine learning becomes hot in different applications. However, because of the nature of “black-box” in ML methods, ML still needs to be interpreted to link human and machine learning for transparency and user acceptance of delivered solutions. This edited book addresses such links from the perspectives of visualisation, explanation, trustworthiness and transparency. The book establishes the link between human and machine learning by exploring transparency in machine learning, visual explanation of ML processes, algorithmic explanation of ML models, human cognitive responses in ML-based decision making, human evaluation of machine learning and domain knowledge in transparent ML applications.This is the first book of its kind to systematically understand the current active research activities and outcomes related to human and machine learning. The book will not only inspire researchers to passionately develop new algorithms incorporating human for human-centred ML algorithms, resulting in the overall advancement of ML, but also help ML practitioners proactively use ML outputs for informative and trustworthy decision making.This book is intended for researchers and practitioners involved with machine learning and its applications. The book will especially benefit researchers in areas like artificial intelligence, decision support systems and human-computer interaction.
Описание: This book constitutes the thoroughly refereed proceedings of the Second International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, EternalS, held in Montpellier, France, in August 2012 and co-located with the 20th European Conference on Artificial Intelligence (ECAI 2012).
Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang Название: Engineering Trustworthy Software Systems ISBN: 3030029271 ISBN-13(EAN): 9783030029272 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang Название: Engineering Trustworthy Software Systems ISBN: 331956840X ISBN-13(EAN): 9783319568409 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering.
Автор: Qing Wang; Vahid Garousi; Raymond Madachy; Dietmar Название: Trustworthy Software Development Processes ISBN: 3642016790 ISBN-13(EAN): 9783642016790 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: International Conference on Software Process ICSP 2009 Vancouver Canada May 1617 2009 Proceedings. .
Автор: Nazila Gol Mohammadi Название: Trustworthy Cyber-Physical Systems ISBN: 3658274875 ISBN-13(EAN): 9783658274870 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Trustworthiness is a key success factor in the acceptance and adoption of cyber-physical systems. The author first discusses various existing definitions of trust and trustworthiness and extends them to cyber-physical systems. A comprehensive framework is proposed, including methods that cover all phases of development: requirements engineering, system design, trustworthiness evaluation, run-time maintenance, and evidence-based assurance. To support a smooth integration of the methods into development projects, these methods are provided in the form of so-called capability patterns. A running example from the ambient assisted living domain is used to demonstrate the application of the methods.About the Author:Nazila Gol Mohammadi is currently working as an associate researcher at paluno – The Ruhr Institute for Software Technology in Essen, Germany. Her research interests include software engineering, requirements engineering, digitalization, cloud computing, cyber-physical systems, and trustworthiness of software systems.
Автор: Mart?n Abadi; Alberto Lluch Lafuente Название: Trustworthy Global Computing ISBN: 3319051180 ISBN-13(EAN): 9783319051185 Издательство: Springer Рейтинг: Цена: 10201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The papers cover a wide range of topics in the area of global computing and safe and reliable computation.
Автор: Ismail Khalil; Teddy Mantoro Название: Trustworthy Ubiquitous Computing ISBN: 9462390576 ISBN-13(EAN): 9789462390577 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
