This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security h…
James Erskine-Murray (1868–1927) was a Scots expert in wireless technology who studied under Lord Kelvin for six years at Glasgow University before arriving at Trinity College, Cambridge as a research student. He eventually became a telegraphy consultant and published this work in 1907. Its aim was to inform engineers, students, and radio operators about many aspects of a rapidly changing tec…
China Satellite Navigation Conference (CSNC) 2015 Proceedings presents selected research papers from CSNC2015, held during 13th-15th May in Xian, China. The theme of CSNC2015 is Opening-up, Connectivity and Win-win. These papers discuss the technologies and applications of the Global Navigation Satellite System (GNSS), and the latest progress made in the China BeiDou System (BDS) especially. Th…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
This book presents the Einstein Relation(ER) in two-dimensional (2-D) Heavily Doped (HD) Quantized Structures. The materials considered are quantized structures of HD non-linear optical, III-V, II-VI, Ge, Te, Platinum Antimonide, stressed materials, GaP, Gallium Antimonide, II-V, Bismuth Telluride together with various types of HD superlattices and their Quantized counterparts respectively. The…
This Brief is aimed at engineers and researchers involved in the refrigeration industry: specifically, those interested in energy utilization and system efficiency. The book presents what the authors believe is the first comprehensive frost melting study involving all aspects of heat and mass transfer. The volume’s description of in-plane and normal digital images of frost growth and melting …
This book investigates the unique hydrodynamics and heat transfer problems that are encountered in the vicinity of the critical point of fluids. Emphasis is given on weightlessness conditions, gravity effects and thermovibrational phenomena. Near their critical point, fluids indeed obey universal behavior and become very compressible and expandable. Their comportment, when gravity effects are s…
This book presents a new algorithm to calculate fluid flow and heat transfer of laminar mixed convection. It provides step-by-step tutorial help to learn quickly how to set up the theoretical and numerical models of laminar mixed convection, to consider the variable physical properties of fluids, to obtain the system of numerical solutions, to create a series of formalization equations for the …
Technical gases are used in almost every field of industry, science and medicine and also as a means of control by government authorities and institutions and are regarded as indispensable means of assistance. In this complete handbook of purified gases the physical foundations of purified gases and mixtures as well as their manufacturing, purification, analysis, storage, handling and transp…
This guide book to mathematics contains in handbook form the fundamental working knowledge of mathematics which is needed as an everyday guide for working scientists and engineers, as well as for students. Easy to understand, and convenient to use, this guide book gives concisely the information necessary to evaluate most problems which occur in concrete applications. In the newer editions emph…