الصفحة 6
الصفحة 6
Advances in Information and Computer Security ; 16th International Workshop on Security, IWSEC 2021, Virtual Event, September 8–10, 2021, Proceedings
Constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, Japan in September 2021. The conference was held virtually due to COVID-19 pandemic. The 14 regular papers and 3 short paper presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: Lattice-Based Cryptography; System Security; Multiparty Computation; Machine Learning and Security; Post-quantum Cryptography; Symmetric-key Cryptography; Game Theory and Security.
Advances in databases and information systems ; 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS 2021, held in Tartu, Estonia, in August 2021. The 18 full papers presented together with 3 keynotes were carefully reviewed and selected from 70 submissions. The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. They are organized in 5 sessions: patterns and events, social media and text mining, indexes, queries and constraints, high-dimensional data and data streams, and data integration.
Advances in Computational Collective Intelligence ; 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings
Constitutes refereed proceedings of the 12th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November – December 2020. Due to the the COVID-19 pandemic the conference was held online. The 68 papers were thoroughly reviewed and selected from 314 submissions. The papers are organized according to the following topical sections: data mining and machine learning; deep learning and applications for industry 4.0; recommender systems; computer vision techniques; decision support and control systems; intelligent management information systems; innovations in intelligent systems; intelligent modeling and simulation approaches for games and real world systems; experience enhanced intelligence to IoT; data driven IoT for smart society; applications of collective intelligence; natural language processing; low resource languages processing; computational collective intelligence and natural language processing.
Ad-Hoc, mobile, and wireless networks ; Vol. 4104 ; 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 Proceedings
The 5th International Conference on Adhoc, Mobile and Wireless Networks (Adhoc-Now 2006) was held during August 17–19, 2006, in Ottawa, Canada. The ?rst four conferences in this series were held in Toronto (2002), Montreal (2003), Vancouver (2004) and Cancun (2005), respectively. The purpose of this conference is to provide a forum for researchers from academia/industry and practitioners to meet and exchange ideas regarding recent developments in the areas of ad hoc wireless networks. We received more than 170 papers for the conference submitted by authors from the following 25 countries: Australia, Bangladesh, Brazil, Canada, China, France, Germany, Greece, India, Iran, Ireland, Italy, Korea, Malaysia, Mexico, Nepal, Norway,Poland, Spain, Taiwan, The Netherlands, Turkey, UK, USA and Venezuela. Each paper was assignedto three members of the Technical Program Committee (TPC).
Ad-hoc, Mobile and Wireless Networks ; 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2008, held in Sophia-Antipolis, France, September 2008.
Ad Hoc Networks : Technologies and Protocols
Ad Hoc Networks: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network protocols. It reviews issues related to medium access control, scalable routing, group communications, use of directional/smart antennas, network security, and power management among other topics. The authors examine various technologies that may aid ad hoc networking including the presence of an ability to tune transmission power levels or the deployment of sophisticated smart antennae. Ad Hoc Networks: Protocols and Technologies will be immensely useful as a reference work to engineers and researchers as well as to advanced level students in the areas of wireless networks, and computer networks.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
