Secure and Trustworthy Service Composition, Achim Brucker; Fabiano Dalpiaz; Paolo Giorgini; Pe
Автор: Gilles Barthe; C?dric Fournet Название: Trustworthy Global Computing ISBN: 3540786627 ISBN-13(EAN): 9783540786627 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Third Symposium TGC 2007 Sophia-Antipolis France November 5-6 2007 Revised Selected Papers.
Автор: Yuyu Yuan; Xu Wu; Yueming Lu Название: Trustworthy Computing and Services ISBN: 3642357946 ISBN-13(EAN): 9783642357947 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Architecture for trusted computing systems.- Trusted computing platform.- Trusted systems build.- Network and protocol security.- Mobile network security.- Network survivability and other critical theories and standard systems.- Credible assessment, credible measurement and metrics.- Trusted systems.- Trusted networks.- Trusted mobile network.- Trusted routing.- Trusted software.- Trusted operating systems.- Trusted storage.- Fault-tolerant computing and other key technologies.- Trusted e-commerce and e-government.- Trusted logistics.- Trusted internet of things.- Trusted cloud and other trusted services and applications.
Автор: 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. .
Автор: 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.
Автор: 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.
Описание: 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: 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.
Автор: Paik, Hye-young Lemos, Angel Lagares Barukh, Moshe Chai Benatallah, Boualem Natarajan, Aarthi Название: Web service implementation and composition techniques ISBN: 3319555405 ISBN-13(EAN): 9783319555409 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book embarks on a mission to dissect, unravel and demystify the concepts of Web services, including their implementation and composition techniques.
Автор: Mohr Название: Automated Software and Service Composition ISBN: 3319341677 ISBN-13(EAN): 9783319341675 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is by far the most systematic and comprehensive review of the field of automated software composition. Based on a formally described and reproducible methodology, it critically discusses the approaches, which are relevant for experts interested in an organized overview of related work. It also provides an introduction and intuitive classification system for researchers new to the field.In order to create this survey, several dozen papers were analyzed with respect to the concrete problems they tackle and the proposed solutions. It delivers both an overview and a qualitative comparison of the approaches, and answers three research questions: What types of automated software composition problems exist? In which use cases do these problems typically occur? And what are the most prominent solution paradigms for the different types? Overall, this book saves a great deal of time for everyone pursuing research in the area of automated software composition who needs a comprehensive guide that helps them understand the field, and that relates new approaches to existing ones.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
