This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lire la suite
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
Lire la suite
Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand ...
Lire la suite
This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually ...
Lire la suite
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Lire la suite
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security ...
Lire la suite
This book is organized in topical sections on data mining and knowledge discovery, wireless, sensor networks and grid, XML ...
Lire la suite
This book is organized in topical sections on algebraic and number theoretical cryptoanalysis, theory of public key encryption, ...
Lire la suite
Queuing Theory and Telecommunications : Networks and Applications provides some fundamental knowledge in queuing theory, ...
Lire la suite
The book analyses in detail the problems currently being faced by researchers working in the field of RFID technology and ...
Lire la suite
This book is presented provide competent coverage of methods and major application areas such as social networks, semantic ...
Lire la suite
This book is organized in topical sections on rootkit prevention, malware detection and prevention, high performance intrusion ...
Lire la suite
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suite
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Lire la suite
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suite
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suite
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lire la suite
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suite
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suite