- Table View
- List View
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #14165)
by Markus Roggenbach Anne E. Haxthausen Wen-Ling HuangThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.
Application Architecture Patterns for Web 3.0: Design Patterns and Use Cases for Modern and Secure Web3 Applications
by Stefano TempestaOver the past three years, the landscape of blockchain technology has undergone remarkable transformation, extending far beyond its association with cryptocurrencies especially with the emergence of Web3 applications. Web 3.0 is built using artificial intelligence, machine learning, and the semantic web. It uses all this to process and interpret information with human-like intelligence. And for security, Web 3.0 uses the blockchain security system to keep information secure. This book aims to provide an overview of the evolution of blockchain technology, highlighting its expanding use cases and exploring the latest trends and news that have shaped the blockchain landscape in recent years. The timing of this book is ideal. NFTs, DeFi, and in general the emergence of the architectural concept of "Web3" are defining and will define the future of web applications. The book takes the reader on a journey across the innovative use cases of blockchain technology, with a focus on building the technical foundation of such applications, in order to enable entrepreneurs and blockchain architects to create state-of-the-art Web3 solutions.
Application Architecture for .NET: Designing Applications and Services
by Microsoft CorporationGet expert architectural and design-level guidance for building distributed solutions with the Microsoft® .NET Framework--learning how to synthesize your knowledge of application development, servers, and infrastructure and business requirements. This guide assumes you are familiar with .NET component development and the basic principles of a layered distributed application design. It examines architectural issues and solution design for a range of project stakeholders--whether you build and design applications and services, recommend appropriate technologies and products for applications and services, make design decisions to meet functional and nonfunctional requirements, or choose appropriate communications mechanisms for applications and services--providing straightforward guidance, recommendations, and best practices gleaned from real-world solution development. All PATTERNS & PRACTICES guides are reviewed and approved by Microsoft engineering teams, consultants, partners, and customers--delivering accurate, real-world information that's been technically validated and tested.
Application Delivery and Load Balancing in Microsoft Azure: Practical Solutions With Nginx And Microsoft Azure
by Derek DeJonghe Arlan NugaraWith more and more companies moving on-premises applications to the cloud, software and cloud solution architects alike are busy investigating ways to improve load balancing, performance, security, and high availability for workloads. This practical book describes Microsoft Azure's load balancing options and explains how NGINX can contribute to a comprehensive solution.Cloud architects Derek DeJonghe and Arlan Nugara take you through the steps necessary to design a practical solution for your network. Software developers and technical managers will learn how these technologies have a direct impact on application development and architecture. While the examples are specific to Azure, these load balancing concepts and implementations also apply to cloud providers such as AWS, Google Cloud, DigitalOcean, and IBM Cloud.Understand application delivery and load balancing--and why they're importantExplore Azure's managed load balancing optionsLearn how to run NGINX OSS and NGINX Plus on AzureExamine similarities and complementing features between Azure-managed solutions and NGINXUse Azure Front Door to define, manage, and monitor global routing for your web trafficMonitor application performance using Azure and NGINX tools and plug-insExplore security choices using NGINX and Azure Firewall solutions
Application Development for IBM WebSphere Process Server 7 and Enterprise Service Bus 7
by Salil Ahuja Swami ChandrasekaranThis book covers building an application using the principles of BPM and SOA, using WPS and WESB. The various detailed aspects, features, and capabilities of the product are conveyed though examples. It also provides pragmatic guidance on various aspects in relation to building the SOA application. Every section has solutions to common problems and pitfalls. This book is for SOA architects, designers, and developers who have a basic understanding of SOA concepts and would like to learn more about building solutions and applications using IBM WebSphere Process Server and WebSphere Enterprise Service Bus.
Application Development in iOS 7
by Kyle BegemanA hybrid between informative overview and step-by-step instruction, this book is the ultimate guide to iOS 7 application development. If you are an iOS developer who is looking to understand the new features within iOS 7 and Xcode 5, then this book is for you. In order to fully understand the concepts in this book, it is recommended you have at least some experience with previous versions of iOS.
Application Development with Parse using iOS SDK
by Bhanu BiraniA practical guide, featuring step-by-step instructions showing you how to use Parse iOS, and handle your data on cloud.If you are a developer who wants to build your applications instantly using Parse iOS as a back end application development, this book is ideal for you. This book will help you to understand Parse, featuring examples to help you get familiar with the concepts of Parse iOS.
Application Development with Qt Creator
by Ray RischpaterWritten in a concise and easy-to-follow approach, this book will guide you to develop your first application with Qt with illustrated examples and screenshots.If you are a developer who is new to Qt and Qt Creator and is interested in harnessing the power of Qt for cross-platform development, this book is great for you. If you have basic experience programming in C++, you have what it takes to create great cross-platform applications using Qt and Qt Creator!
Application Development with Qt Creator - Second Edition
by Ray RischpaterThis book is great for developers who are new to Qt and Qt Creator and who are interested in harnessing the power of Qt for cross-platform development. If you have basic experience programming in C++, you have what it takes to create engaging cross-platform applications using Qt and Qt Creator!
Application Development with Qt Creator: Build cross-platform applications and GUIs using Qt 5 and C++, 3rd Edition
by Ray Rischpater Lee Zhi EngExplore Qt Creator, Qt Quick, and QML to design and develop applications that work on desktop, mobile, embedded, and IoT platforms Key Features Build a solid foundation in Qt by learning about its core classes, multithreading, File I/O, and networking Learn GUI programming and build custom interfaces using Qt Widgets, Qt Designer, and QML Use the latest features of C++17 for improving the performance of your Qt applications Book Description Qt is a powerful development framework that serves as a complete toolset for building cross-platform applications, helping you reduce development time and improve productivity. Completely revised and updated to cover C++17 and the latest developments in Qt 5.12, this comprehensive guide is the third edition of Application Development with Qt Creator. You'll start by designing a user interface using Qt Designer and learn how to instantiate custom messages, forms, and dialogues. You'll then understand Qt's support for multithreading, a key tool for making applications responsive, and the use of Qt's Model-View-Controller (MVC) to display data and content. As you advance, you'll learn to draw images on screen using Graphics View Framework and create custom widgets that interoperate with Qt Widgets. This Qt programming book takes you through Qt Creator's latest features, such as Qt Quick Controls 2, enhanced CMake support, a new graphical editor for SCXML, and a model editor. You'll even work with multimedia and sensors using Qt Quick, and finally develop applications for mobile, IoT, and embedded devices using Qt Creator. By the end of this Qt book, you'll be able to create your own cross-platform applications from scratch using Qt Creator and the C++ programming language. What you will learn Create programs from scratch using the Qt framework and C++ language Compile and debug your Qt Quick and C++ applications using Qt Creator Implement map view with your Qt application and display device location on the map Understand how to call Android and iOS native functions from Qt C++ code Localize your application with Qt Linguist Explore various Qt Quick components that provide access to audio and video playbacks Develop GUI applications using both Qt and Qt Quick Who this book is for If you are a beginner looking to harness the power of Qt and the Qt Creator framework for cross-platform development, this book is for you. Although no prior knowledge of Qt and Qt Creator is required, basic knowledge of C++ programming is assumed.
Application Development with Swift
by Hossam GhareebIf you are iOS developer with experience in Objective-C, and wish to develop applications with Swift, then this book is ideal for you. Familiarity with the fundamentals of Swift is an added advantage but not a necessity.
Application Interoperability: Microsoft® .NET and J2EE
by Microsoft CorporationGet the best information available for enabling application interoperability between the Microsoft .NET and Java 2 Enterprise Edition (J2EE) development platforms. This book offers practical and prescriptive guidance for developers responsible for creating enterprise-level business solutions where platform interoperability is a requirement and a reality. If you're experienced with one set of enterprise technologies but new to the other, you can ramp up quickly with focused introductions written from either the .NET or Java developer perspective. The book delivers expert technical information and recommendations for using Web services, runtime bridges, and asynchronous techniques; interoperability methods for point-to-point and resource tiers; and designing application architecture for interoperability. The companion CD-ROM includes a functional sample application, trial software, and a complete eBook. PATTERNS & PRACTICES guides are reviewed and approved by Microsoft engineering teams, consultants, partners, and customers?delivering accurate, real-world information that's been technically validated and tested. A Note Regarding the CD or DVD The print version of this book ships with a CD or DVD. For those customers purchasing one of the digital formats in which this book is available, we are pleased to offer the CD/DVD content as a free download via O'Reilly Media's Digital Distribution services. To download this content, please visit O'Reilly's web site, search for the title of this book to find its catalog page, and click on the link below the cover image (Examples, Companion Content, or Practice Files). Note that while we provide as much of the media content as we are able via free download, we are sometimes limited by licensing restrictions. Please direct any questions or concerns to booktech@oreilly.com.
Application Of Biotechnology: Environmental And Policy Issues
by John R. FowleThis book provides the technical background and a historical perspective of biotechnology. It examines scientific questions on the assessment of risk for the release of genetically engineered organisms into the environment and describes the role of individuals to foster industrial growth.
Application Of Toxicogenomics To Cross-species Extrapolation
by National Research Council of the National AcademiesSome of what we know about the health effects of exposure to chemicals from food, drugs, and the environment come from studies of occupational, inadvertent, or accident-related exposures. When there is not enough human data, scientists rely on animal data to assess risk from chemical exposure and make health and safety decisions. However, humans and animals can respond differently to chemicals, including the types of adverse effects experienced and the dosages at which they occur. Scientists in the field of toxicogenomics are using new technologies to study the effects of chemicals. For example, in response to a particular chemical exposure, they can study gene expression ("transcriptomics"), proteins ("proteomics") and metabolites ("metabolomics"), and they can also look at how individual and species differences in the underlying DNA sequence itself can result in different responses to the environment. Based on a workshop held in August 2004, this report explores how toxicogenomics could enhance scientists' ability to make connections between data from experimental animal studies and human health.
Application Security Program Handbook
by Derek FisherStop dangerous threats and secure your vulnerabilities without slowing down delivery. This practical book is a one-stop guide to implementing a robust application security program.In the Application Security Program Handbook you will learn: Why application security is so important to modern software Application security tools you can use throughout the development lifecycle Creating threat models Rating discovered risks Gap analysis on security tools Mitigating web application vulnerabilities Creating a DevSecOps pipeline Application security as a service model Reporting structures that highlight the value of application security Creating a software security ecosystem that benefits development Setting up your program for continuous improvement The Application Security Program Handbook teaches you to implement a robust program of security throughout your development process. It goes well beyond the basics, detailing flexible security fundamentals that can adapt and evolve to new and emerging threats. Its service-oriented approach is perfectly suited to the fast pace of modern development. Your team will quickly switch from viewing security as a chore to an essential part of their daily work. Follow the expert advice in this guide and you&’ll reliably deliver software that is free from security defects and critical vulnerabilities. About the technology Application security is much more than a protective layer bolted onto your code. Real security requires coordinating practices, people, tools, technology, and processes throughout the life cycle of a software product. This book provides a reproducible, step-by-step road map to building a successful application security program. About the book The Application Security Program Handbook delivers effective guidance on establishing and maturing a comprehensive software security plan. In it, you&’ll master techniques for assessing your current application security, determining whether vendor tools are delivering what you need, and modeling risks and threats. As you go, you&’ll learn both how to secure a software application end to end and also how to build a rock-solid process to keep it safe. What's inside Application security tools for the whole development life cycle Finding and fixing web application vulnerabilities Creating a DevSecOps pipeline Setting up your security program for continuous improvement About the reader For software developers, architects, team leaders, and project managers. About the author Derek Fisher has been working in application security for over a decade, where he has seen numerous security successes and failures firsthand. Table of Contents PART 1 DEFINING APPLICATION SECURITY 1 Why do we need application security? 2 Defining the problem 3 Components of application security PART 2 DEVELOPING THE APPLICATION SECURITY PROGRAM 4 Releasing secure code 5 Security belongs to everyone 6 Application security as a service PART 3 DELIVER AND MEASURE 7 Building a roadmap 8 Measuring success 9 Continuously improving the program
Application Security for the Android Platform: Processes, Permissions, and Other Safeguards (Oreilly And Associate Ser.)
by Jeff SixWith the Android platform fast becoming a target of malicious hackers, application security is crucial. This concise book provides the knowledge you need to design and implement robust, rugged, and secure apps for any Android device. You’ll learn how to identify and manage the risks inherent in your design, and work to minimize a hacker’s opportunity to compromise your app and steal user data.How is the Android platform structured to handle security? What services and tools are available to help you protect data? Up until now, no single resource has provided this vital information. With this guide, you’ll learn how to address real threats to your app, whether or not you have previous experience with security issues.Examine Android’s architecture and security model, and how it isolates the filesystem and databaseLearn how to use Android permissions and restricted system APIsExplore Android component types, and learn how to secure communications in a multi-tier appUse cryptographic tools to protect data stored on an Android deviceSecure the data transmitted from the device to other parties, including the servers that interact with your app
Application Security in the ISO27001 Environment
by Vinod Vasudevan Anoop Mangla Firosh Ummer Sachin Shetty Sangita Pakala Siddharth AnbalahanApplication Security in the ISO27001 Environment demonstrates how to secure software applications using ISO/IEC 27001. It does this in the context of a wider roll out of an information security management system (ISMS) that conforms to ISO/IEC 27001. Together, the authors offer a wealth of expertise in ISO27001 information security, risk management and software application development. Over 224 pages, they address a range of essential topics, including an introduction to ISO27001 and ISO27002, secure development lifecycles, threat profiling and security testing, and secure coding guidelines. As well as showing how to use ISO27001 to secure individual applications, the book demonstrates how to tackle this issue as part of the development and roll out of an organisation-wide Information Security Management System conforming to the Standard. Software packages are the conduits to critical business data, thus securing applications adequately is of the utmost impo
Application Servers for E-Business
by Lisa E. LindgrenThe modern application server is a complex platform that is the linchpin of an enterprise environment that includes a very wide range of technologies-web document formatting, web protocols, server-side scripts, servlets, applets, programming languages, distributed object technologies, security capabilities, directory and naming services, load balan
Application Service Providers in Business
by Luisa Focacci Robert Mockler Marc GartenfeldLearn how to use Application Service Providers to enhance the future of your business!Application Service Providers in Business is a comprehensive analysis of the present ASP model and its place in business today. Business success in today&’s information-intensive marketplace depends on a company&’s ability to acquire and fully use the latest advancements in business-critical applications. By having these applications delivered as services over the Internet, businesses can lessen the demands on company IT staff, and increase the ability to get complex software into use immediately. Within this context, a new outsourcing business model called ASP (Application Service Provider) has emerged that is transforming how businesses access and leverage software applications. The book explains the specific contingent ASP models, including business, enterprise, functional-focused, and vertical market ASPs, and ASP aggregators. It demonstrates how different ASP models have fulfilled diverse market/customer expectations and explores future scenarios for current ASP business models. Case studies, tables, and figures illustrate important concepts and make complex information easy to access and understand. Based on a thorough analysis of the ASP market environment, the book provides detailed Best Practices Guidelines that managers of ASPs can use to improve the chances of success of their respective ASPs. It outlines contingency factors such as application offerings, customer selection, operations, and strategic fit. The book also not only assists business managers in deciding on whether to use an ASP, but it presents ways to use ASPs to effectively support their business process. The ability to provide the workforce with access to data whenever and wherever is crucial for positively impacting a company&’s profitability, and ASPs provide the software to make it possible.Topics included in Application Service Providers in Business are: Best Practices Guidelines strategic management management decision making and planning IT management and outsourcing future of the ASP market ASP business models and much more!Application Service Providers in Business is a comprehensive resource for executives, managers, professors, and business students in the US and worldwide. Using the information and guidelines provided, executives and managers can learn how to use ASPs to enhance their business, and managers of ASPs can learn how to increase their chance of success in the competitive ASP market. The material is also appropriate as a textbook for management and computer information/software development classes.
Application Testing with Capybara
by Matthew RobbinsStart performing integration testing with Capybara immediately. This book will get you up and running quickly and assumes no knowledge or experience of the technology.This book is for developers and testers who have had some exposure to Ruby but who want to know how to test their applications using Capybara and its compatible drivers, such as Selenium-Webdriver and Rack-Test. The examples are deliberately kept simple and example HTML mark-up is always included so that you can copy the examples to practice and experiment on your own machine.
Application and Development of Data Simulation and Mechanical Analysis in Civil Engineering: ICCE 2024 (Sustainable Civil Infrastructures)
by Bo Zhang Guangliang Feng Xiao-Yong Wang Junxian Zhao Ana Almerich-ChuliaThe proceedings of the 11th International Conference on Civil Engineering are mainly aimed at middle and senior engineering and technical personnel in the field of civil engineering. It mainly reports the development of various professional fields of civil engineering, major civil engineering records, important achievements and development status of building structures, bridge structures, geotechnical mechanics and foundations, tunnels and underground structures, road and traffic engineering, construction management and other majors in scientific research and design, and also publishes papers and reports that are intersecting or closely related to the above majors in building materials, ports, water conservancy, computer applications, mechanics, disaster prevention and mitigation, etc. The purpose of this dissertation is to promote academic exchanges in the field of civil engineering at home and abroad.
Application and Extension of Numerical Methods in Heating Pipeline
by Qian XuThis book is a summary of the author's pioneering work on the theory of heating pipelines and its application expansion over the years, trying to establish a complete logical system from the basic theory of pipelines to the application of heating pipelines to the innovation and expansion of large-diameter energy transmission pipelines. These esoteric fundamental theories are linked to practical applications, and numerical simulations are used to help readers understand the problems faced by pipelines in engineering practice. The book consists of four chapters, the first chapter describes the basic concepts of district heating system, related standards, development history, facing problems and future prospects, while for the basic characteristics of district heating pipe network installation and laying methods made an introduction; followed by the second chapter summarizes and organizes the pipeline safety research of fluid-solid heat, elastic-plasticity and other basic theories, as well as heating pipeline thermal insulation system heat loss and the economic evaluation of theory and so on. Based on the basic theory of pipeline, the third and fourth chapters introduce several typical pipeline application cases in detail, and each case includes modelling, solving, and result analysis, which can provide readers with technical references and idea guidelines in the field of pipeline research. The third chapter of the different structures of the heating pipeline from the safety and economic aspects of a detailed numerical study; the fourth chapter in the heating pipeline on the basis of energy transportation pipeline, transportation medium from the original hot water, hot steam to the oil and gas, specifically introduced various types of large-diameter energy transportation pipeline under the action of different loads of the dynamic response characteristics. It has important theoretical significance for enriching and developing the basic theory of pipeline and the expansion of all kinds of pipeline applications, and at the same time, it provides technical guidance for the safe, stable, economic and efficient operation of all kinds of long-distance pipelines, such as heating pipelines and energy transmission and transportation pipelines. It helps readers to systematically and comprehensively understand the basic theories of elasticity and plasticity, fluid-solid-thermal coupling, and economic evaluation of pipelines, and at the same time provides readers with new research ideas and technical means from the perspective of scientific research.
Application and Integration of Omics-powered Diagnostics in Clinical and Public Health Microbiology
by Jacob Moran-Gilad Yael YagelVarious “omics” methods have recently revolutionized molecular diagnostics. Next-generation sequencing (NGS) makes it possible to sequence a human genome in just one day. Whole genome sequencing (WGS) greatly improves the ability to investigate the outbreaks of numerous pathogens. Metagenomics helps to analyze the microbiome, which aids greatly in identifying the pathogenesis of infectious diseases. Proteomic-based methods, namely matrix-assisted laser desorption-ionization time of flight mass spectrometry (MALDI-TOF-MS), have a promising role in identifying myctobacteria and fungi, and predicting antimicrobial resistance. While there are numerous scientific publications on “omics” applications for microbiology, there are relatively few books that review this topic from a clinical diagnostics perspective. This book looks at this field from a holistic viewpoint, instead of limiting by type of “omics” technology, in order to cover the body of knowledge needed for practitioners and academics interested in clinical and public health microbiology. Additionally, it addresses the management, economical, regulatory and operational aspects of integrating these technologies into routine diagnostics.
Application and Multidisciplinary Aspects of Wireless Sensor Networks: Concepts, Integration, and Case Studies (Computer Communications and Networks)
by Veljko Milutinović Srdjan Krco Roman Trobec Liljana Gavrilovska Ivan StojmenovicIt is a general trend in computing that computers are becoming ever smaller and ever more interconnected. Sensor networks - large networks of small, simple devices - are a logical extreme of this trend. Wireless sensor networks (WSNs) are attracting an increasing degree of research interest, with a growing number of industrial applications starting to emerge. Two of these applications, personal health monitoring and emergency/disaster recovery, are the focus of the European Commission project ProSense: Promote, Mobilize, Reinforce and Integrate Wireless Sensor Networking Research and Researchers. This hands-on introduction to WSN systems development presents a broad coverage of topics in the field, contributed by researchers involved in the ProSense project. An emphasis is placed on the practical knowledge required for the successful implementation of WSNs. Divided into four parts, the first part covers basic issues of sensors, software, and position-based routing protocols. Part two focuses on multidisciplinary issues, including sensor network integration, mobility aspects, georouting, medical applications, and vehicular sensor networks. The remaining two parts present case studies and further applications. Topics and features: presents a broad overview of WSN technology, including an introduction to sensor and sensing technologies; contains an extensive section on case studies, providing details of the development of a number of WSN applications; discusses frameworks for WSN systems integration, through which WSN technology will become fundamental to the Future Internet concept; investigates real-world applications of WSN systems in medical and vehicular sensor networks; with a Foreword by the Nobel Laurate Professor Martin Perl of Stanford University. Providing holistic coverage of WSN technology, this text/reference will enable graduate students of computer science, electrical engineering and telecommunications to master the specific domains of this emerging area. The book will also be a valuable resource for researchers and practitioners interested in entering the field.
Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings (Lecture Notes in Computer Science #9698)
by Fabrice Kordon Daniel MoldtThis book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.