he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Weiterlesen
Challenges arise when the size of a group of cooperating agents is scaled to hundreds or thousands of members. In domains ...
Weiterlesen
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
WeiterlesenThis paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes ...
Weiterlesen
Explores the emergence of a decentralised and disintermediated crypto-market and investigates the way in which it can transform ...
Weiterlesen
This book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Weiterlesen
Modern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, ...
Weiterlesen
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Weiterlesen
A rich examination of the technologies supporting secure digital information transfers from respected leaders in the field Is ...
Weiterlesen
This book presented signatures, network security, secure keyword search and private information retrieval, public key encryption, ...
Weiterlesen
This book presented signatures, network security, secure keyword search and private information retrieval, public key encryption, ...
Weiterlesen
This book constitutes the refereed proceedings of the 5th International Conference on Cryptology and Network Security, CANS ...
Weiterlesen
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS ...
Weiterlesen
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Weiterlesen
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Weiterlesen
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Weiterlesen
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International ...
Weiterlesen
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and ...
Weiterlesen