Trustworthy Cyber-Physical Systems, Nazila Gol Mohammadi

Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 3030176002 ISBN-13(EAN): 9783030176006
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;

Автор: Jack Tang; Mohamed Ibrahim; Krishnendu Chakrabarty
Название: Secure and Trustworthy Cyberphysical Microfluidic Biochips
ISBN: 3030181626 ISBN-13(EAN): 9783030181628
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes novel hardware security and microfluidic biochip design methodologies to protect against tampering attacks in cyberphysical microfluidic biochips (CPMBs).

Автор: Gilles Barthe; C?dric Fournet
Название: Trustworthy Global Computing
ISBN: 3540786627 ISBN-13(EAN): 9783540786627
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Third Symposium TGC 2007 Sophia-Antipolis France November 5-6 2007 Revised Selected Papers.

Автор: Qing Wang; Vahid Garousi; Raymond Madachy; Dietmar
Название: Trustworthy Software Development Processes
ISBN: 3642016790 ISBN-13(EAN): 9783642016790
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (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
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 3030029271 ISBN-13(EAN): 9783030029272
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Alessandro Moschitti; Barbara Plank
Название: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
ISBN: 3642452590 ISBN-13(EAN): 9783642452598
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

Автор: Mauro Conti; Matthias Schunter; Ioannis Askoxylaki
Название: Trust and Trustworthy Computing
ISBN: 3319228455 ISBN-13(EAN): 9783319228457
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Trust and Trustworthy Computing, TRUST 2015, held in Heraklion, Crete, Greece, in August 2015. The 15 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions.

Автор: Luciana Duranti, Corinne Rogers
Название: Trusting Records in the Cloud: The creation, management, and preservation of trustworthy digital content
ISBN: 1783304022 ISBN-13(EAN): 9781783304028
Издательство: Facet
Рейтинг:
Цена: 102080.00 T
Наличие на складе: Невозможна поставка.
Описание: This book presents up-to-date research and offers concrete guidelines for records professionals concerned with challenges to records in the online environment including privacy, accessibility, portability, metadata and ownership.

Автор: Yuyu Yuan; Xu Wu; Yueming Lu
Название: Trustworthy Computing and Services
ISBN: 3642357946 ISBN-13(EAN): 9783642357947
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Luciana Duranti, Corinne Rogers
Название: Trusting Records in the Cloud: The creation, management, and preservation of trustworthy digital content
ISBN: 1783304030 ISBN-13(EAN): 9781783304035
Издательство: Facet
Рейтинг:
Цена: 204160.00 T
Наличие на складе: Невозможна поставка.
Описание: This book presents up-to-date research and offers concrete guidelines for records professionals concerned with challenges to records in the online environment including privacy, accessibility, portability, metadata and ownership.