Trustworthy Computing and Services, Lu Yueming; Wu Xu; Zhang Xi

Автор: 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.

Автор: Dan Craigen; Karen Summerskill
Название: Formal Methods for Trustworthy Computer Systems (FM89)
ISBN: 3540196358 ISBN-13(EAN): 9783540196358
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods.

Автор: 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.

Автор: Jing Dong; Raymond Paul; Liang-Jie Zhang
Название: High Assurance Services Computing
ISBN: 1441946845 ISBN-13(EAN): 9781441946843
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Service computing is a cutting-edge area, popular in both industry and academia. This edited volume by well-established researchers in this field, captures and makes accessible the most recent practical developments in service-oriented high-assurance systems.

Автор: 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.

Автор: Fr?d?ric Desprez; Vladimir Getov; Thierry Priol; R
Название: Grids, P2P and Services Computing
ISBN: 1489986286 ISBN-13(EAN): 9781489986283
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With contributions from well-established researchers worldwide, this edited volume focuses on solving research challenges for Grid and P2P technologies. The book also includes new challenges related to service-oriented infrastructures.