You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Thisvolumecontainsthe15paperspresentedinthetechnicalstrandoftheTrust 2009 conference, held in Oxford, UK in April 2009. Trust 2009 was the second international conference devoted to the technical and socio-economic aspects of trusted computing. The conference had two main strands, one devoted to technical aspects of trusted computing (addressed by these proceedings), and the other devoted to socio-economic aspects. Trust 2009 built on the successful Trust 2008 conference, held in Villach, Austria in March 2008. The proceedings of Trust 2008, containing 14 papers, were published in volume 4968 of the Lecture Notes in Computer Science series. ThetechnicalstrandofTrust2009contained15originalpap...
The three-volume set LNCS 13245, 13246 and 13247 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held online, in April 2021. The total of 72 full papers, along with 76 short papers, are presented in this three-volume set was carefully reviewed and selected from 543 submissions. Additionally, 13 industrial papers, 9 demo papers and 2 PhD consortium papers are included. The conference was planned to take place in Hyderabad, India, but it was held virtually due to the COVID-19 pandemic.
This book constitutes the refereed proceedings of the Third IFIP WG 11.11 International Conference, IFIPTM 2009, held in West Lafayette, IN, USA, in June 2009. The 17 revised full papers presented together with one invited paper and 5 demo descriptions were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on social aspects and usability, trust reasoning and processing, data security, enhancements to subjective logic, information sharing, risk assessment, and simulation of trust and reputation systems.
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Blockchain technology is considered a disruptive innovation that changes the ways companies and global processes operate. This technology has impressive powers to change this world for the better. This book examines the origins, emergence, challenges, and opportunities in the blockchain field, rethinking business strategy and readiness in the digital world and how blockchain technology would improve businesses. It provides a blockchain readiness model for managing supply chains and reviews enabling technologies such as AI, big data and organisational capabilities that support the adoption of blockchain technology. Through innovative design and simulation of a blockchain framework, it aims to...
This book constitutes the refereed proceedings of the 18th International Conference on Information and Communications Security, ICISC 2016, held in Singapore, Singapore, in November/December 2016. The 20 revised full papers and 16 short papers presented were carefully selected from 60 submissions. The papers cover topics such as IoT security; cloud security; applied cryptography; attack behaviour analytics; authentication and authorization; engineering issues of cryptographic and security systems; privacy protection; risk evaluation and security; key management and language-based security; and network security.
This groundbreaking book covers the restoration of the law of restitution of cultural property, matching the time, space, and depth dimensions of the law with the time, space, and ontology of events that violated persons and desecrated their heritage in the colonial era. Using the contested ownership of the Parthenon Sculptures and the Zhanggong Zushi mummy encased in a Buddha statue as the main points of orientation, the book shows how the law of restitution could be ‘defragmented’ and ‘restored’ in respect of claims for the return of colonial-era and Indigenous cultural property disputes. The study argues that the secondary legal norms and common arguments of Private International ...
Often, no single field or expert has all the information necessary to solve complex problems, and this is no less true in the fields of electronics and communications systems. Transdisciplinary engineering solutions can address issues arising when a solution is not evident during the initial development stages in the multidisciplinary area. This book presents the proceedings of RDECS-2022, the 1st international conference on Recent Developments in Electronics and Communication Systems, held on 22 and 23 July 2022 at Aditya Engineering College, Surampalem, India. The primary goal of RDECS-2022 was to challenge existing ideas and encourage interaction between academia and industry to promote t...