The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book presents select proceedings of 11th International Conference on Information Science and Applications 2020 (ICISA ...
اقرأ المزيدThe cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...
اقرأ المزيدBy presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيدOz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal ...
اقرأ المزيدThis volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
اقرأ المزيدSoftware reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
اقرأ المزيدfeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد