Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Context-Aware Systems and Applications
This book constitutes the 11th EAI International Conference of the International Conference on Context-Aware Systems and Applications, ICCASA 2022, held in Vinh Long, Vietnam, during October 27-28, 2022. The 14 revised full papers presented were carefully selected from 40 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems and their applications.
Context-Aware Systems and Applications
This book constitutes the refereed post-conference proceedings of the International Conference on Context-Aware Systems and Applications, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 25 revised full papers presented were carefully selected from 52 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems and their applications.
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.
Nature of Computation and Communication
This book constitutes the refereed post-conference proceedings of the 8th EAI International Conference on Nature of Computation and Communication, ICTCC 2022, held in Vinh Long, Vietnam, in October 27-28 2022. The 11 revised full papers presented were carefully selected from 32 submissions. The papers of ICTCC 2022 cover formal methods for self-adaptive systems and discuss natural approaches and techniques for natural computing systems and their applications.
Transactions on Computational Science XV
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, present...
Văn bia Tiên Lãng-Hải Phòng
History and interpretation of the inscriptions in Tiên Lãng District, Hải Phòng City, Vietnam
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Field-Programmable Logic and Applications
This book constitutes the refereed proceedings of the 13th International Conference on Field-Programmable Logic and Applications, FPL 2003, held in Lisbon, Portugal in September 2003. The 90 revised full papers and 56 revised poster papers presented were carefully reviewed and selected from 216 submissions. The papers are organized in topical sections on technologies and trends, communications applications, high level design tools, reconfigurable architecture, cryptographic applications, multi-context FPGAs, low-power issues, run-time reconfiguration, compilation tools, asynchronous techniques, bio-related applications, codesign, reconfigurable fabrics, image processing applications, SAT techniques, application-specific architectures, DSP applications, dynamic reconfiguration, SoC architectures, emulation, cache design, arithmetic, bio-inspired design, SoC design, cellular applications, fault analysis, and network applications.
Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications
The popularity of an increasing number of mobile devices, such as PDAs, laptops, smart phones, and tablet computers, has made the mobile device the central method of communication in many societies. These devices may be used as electronic wallets, social networking tools, or may serve as a person’s main access point to the World Wide Web. The Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications highlights state-of-the-art research concerning the key issues surrounding current and future challenges associated with the software engineering of mobile systems and related emergent applications. This handbook addresses gaps in the literature within the area of software engineering and the mobile computing world.
