Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment
The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities ...
Continue reading
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue reading
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue reading
Information Science and Applications
This book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA ...
Continue reading
Machine Learning for Cyber Agents : Attack and Defence / Stanislav Abaimov, Maurizio Martellini
The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...
Continue reading
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Continue reading
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Continue reading
Programming Languages and Systems
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...
Continue reading
Programming Languages and Systems (vol. # 3924)
This volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
Continue reading
Reuse of Off-the-Shelf Components
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Continue reading
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Continue reading
