- Table View
- List View
NASA Formal Methods
by Sanjai Rayadurgam Oksana TkachukThis book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science #10811)
by Aaron Dutle César Muñoz Anthony NarkawiczThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science #11460)
by Julia M. Badger Kristin Yvonne RozierThis book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Lecture Notes in Computer Science #12229)
by Ritchie Lee Susmit Jha Anastasia MavridouThis book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Lecture Notes in Computer Science #12673)
by César A. Muñoz Aaron Dutle Mariano M. Moscato Laura Titolo Ivan PerezThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13260)
by Klaus Havelund Ivan Perez Jyotirmoy V. DeshmukhThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science #13903)
by Swarat Chaudhuri Kristin Yvonne RozierThis book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings (Lecture Notes in Computer Science #14627)
by Nathaniel Benz Divya Gopinath Nija ShiThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
NB-IoT Use Cases and Devices: Design Guide
by Kersten HeinsThis book presents the cellular wireless network standard NB-IoT (Narrow Band-Internet of Things), which addresses many key requirements of the IoT. NB-IoT is a topic that is inspiring the industry to create new business cases and associated products. The author first introduces the technology and typical IoT use cases. He then explains NB-IoT extended network coverage and outstanding power saving features which are enabling the design of IoT devices (e.g. sensors) to work everywhere and for more than 10 years, in a maintenance-free way. The book explains to industrial users how to utilize NB-IoT features for their own IoT projects. Other system ingredients (e.g. IoT cloud services) and embedded security aspects are covered as well. The author takes an in-depth look at NB-IoT from an application engineering point of view, focusing on IoT device design. The target audience is technical-minded IoT project owners and system design engineers who are planning to develop an IoT application.
NBA Jam (Boss Fight Books)
by Reyan AliWhen NBA Jam dunked its way into arcades in 1993, players discovered just how fun basketball can be when freed from rules, refs, and gravity itself. But just a few years after the billion-dollar hit conquered the world, developer Midway, publisher Acclaim, and video arcades themselves fell off the map. How did a simple two-on-two basketball game become MVP of the arcade, and how did this champ lose its title? Journalist Reyan Ali dives deep into the saga, tracking the people and decisions that shaped the series. You'll get to know mischievous Jam architect Mark Turmell, go inside Midway's Chicago office where hungry young talent tapped into cutting-edge tech, and explore the sequels, spin-offs, and tributes that came in the game's wake. Built out of exhaustive research and original interviews with a star-studded cast —including Turmell and his original development team, iconic commentator Tim Kitzrow, businessmen and developers at Midway and Acclaim alike, secret characters George Clinton and DJ Jazzy Jeff, Doom co-creator John Romero, and 1990s NBA demigods Glen Rice and Shaq—Ali's NBA Jam returns you to an era when coin-op was king.
NEW PERSPECTIVES Microsoft Windows 10
by Dan Oja Patrick Carey Lisa Ruffolo June Parsons Joan CareyDiscover a unique, critical-thinking approach to mastering MS Windows 10 concepts and skills with NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE. In addition to in-depth coverage of essential topics, this book highlights some of the best new features in the Windows 10 Operating System, including Cortana, the new Edge browser, and new search functions. As part of the acclaimed New Perspectives Series, this book offers proven learning features to help you absorb key information, no matter what your learning style. A dynamic Visual Overview at the beginning of each module gives you a graphic preview of content and serves as a study guide for later use. ProSkills Boxes provide information about professional skills that relate to the module’s content. Troubleshoot Exercises let you apply your skills in a critical-thinking setting. Readers can trust NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE for all of the MS Windows skills needed.
NFT Arte y Coleccionables: La Guía Imprescindible para Comprender Los Tokens No Fungibles (NFT)
by Chris Collins¿Está buscando aprender cómo sacar provecho de la revolución NFT? ¿Acaba de enterarse de las NFT? ¿Quieres unirte a la locura como artista, jugador o músico? ¿Le resulta difícil encontrar toda la información en el mismo lugar o simplemente es completamente confuso? Si esto te suena, ¡sigue leyendo! NFT Arte y Coleccionables para Principiantes ofrece, información completa sobre esta reciente tendencia rentable. Esta guía habla sobre qué son las NFT y también proporciona una breve historia de su aparición. Después de conocer las NFT, también encontrará información sobre los tokens Ethereum. Estos son los estándares que unen el sistema de coleccionables digitales. El funcionamiento interno de las NFT, junto con su importancia y valor, también se tratan en esta guía detallada. Las áreas de aplicación y usos le brindarán el conocimiento de áreas en las que puede ingresar en esta tendencia digital. Además, la información de este libro también enumera los principales mercados y el proceso de creación de NFT. En este libro también se desmienten varios mitos de las NFT. El arte y los juegos son las áreas más importantes que están surgiendo dentro de la moda de NFT. Esto es particularmente cierto para la industria del juego, ya que permite a personas de todas las edades aprender esta tecnología de una manera nueva y divertida.
NFTs Are a Scam / NFTs Are the Future: The Early Years: 2020-2023
by Bobby HundredsThe nationally bestselling author and streetwear entrepreneur Bobby Hundreds’s manifesto about NFTs, the future of creativity, and bringing his brand and community into the modern digital space.Bobby Hundreds has spent twenty years building his streetwear company, The Hundreds, to be as much a community as a brand. So when Bobby discovered NFTs in 2020, he knew that the technology had the makings of a revolution. Now fans could not only directly support artists and creators but also have a genuine stake in the success of the work. Here, Bobby saw a way for the Hundreds community to participate in the brand as never before. But was this a good idea? Are NFTs truly the future of creativity? Or just a fad? Are they a scam? Maybe they are all those things. In NFTs Are a Scam / NFTs Are the Future, Bobby digs deep into these questions and more: Are NFTs fashion? A cult? Already over? Just beginning? None of the answers are simple, and Bobby works through each with the thoughtfulness and hard-earned insight that have made him a fervently sought-after voice in conversations about creativity, commerce, and community in the digital age. Over the course of just a few years, NFTs have been celebrated and derided; fortunes have been made and lost, empires built and toppled, and Bobby has been, and remains, in the thick of it. For the reader sitting on a collection of NFTs, this is an obvious must-read. For those wondering what’s been going on—and why it’s worth paying attention to—it is the perfect primer.
NFTs For Dummies
by Tiana Laurence Seoyoung KimGet a grip on NFTs and learn how to get in the game It’s not often that a brand-new investment comes along that revolutionizes how we buy and sell digital assets. But that’s what non-fungible tokens (NFTs) did. Built on blockchain tech, NFTs are shaking up the world of digital commodity investing. And you can get your slice of the pie before everyone jumps into the arena. In NFTs For Dummies, you’ll find straightforward answers to critical aspects of the NFT phenomenon. You’ll learn exactly what non-fungible tokens really are, how you can find them, and even how to create your own valuable NFTs. You’ll also discover: How to find reliable and safe NFT marketplaces where you can be sure you’re dealing with reputable buyers and sellers A peek behind the NFT curtain to see how NFTs work and what, exactly, you own when you buy or make an NFT Discussions of the kinds of digital properties that can be converted into an NFT Perfect for anyone who wants to learn about the market for buying, selling, and creating crypto collectibles, NFTs For Dummies is the only resource you’ll need to get a handle on this cutting-edge tech and start making it work for you.
NFTs de Artes e Colecionáveis para Iniciantes: O Guia Obrigatório para a Compreensão Dos Tokens Não Fungíveis (NFTs)
by Chris CollinsNFTs de Artes e Colecionáveis para Iniciantes por Chris Collins O guia obrigatório para compreender os tokens não fungíveis (NFTs) Este guia fala sobre o que são os NFTs e também fornece um breve histórico de seu surgimento. Você está à procura de aprender como poderá lucrar com a revolução NFT? Você acabou de descobrir sobre os NFTs? Você quer participar desta onda, seja como artista, jogador ou músico? Você está achando difícil encontrar todas as informações no mesmo lugar? Se é isso que você quer, então continue lendo! NFTs de Artes e Colecionáveis para Iniciantes oferece informações abrangentes sobre esta tendência recente e lucrativa. Este guia fala sobre o que são NFTs e também fornece um breve histórico de seu surgimento. Depois de aprender sobre os NFTs, você também encontrará informações sobre os tokens Ethereum. Esses são os padrões que unem o sistema de colecionáveis digitais. O funcionamento interno dos NFTs, juntamente com sua importância e valor, também são abordados neste guia detalhado. As áreas de aplicação e usos proporcionarão o conhecimento do exato ponto em que você pode entrar nesta tendência digital. Além disso, as informações neste livro também listam os principais mercados e o processo de criação de NFTs. Vários mitos sobre NFTs são também desmascarados neste livro. Arte e jogos são as áreas mais importantes que estão surgindo dentro da onda NFT. Isso é particularmente verdadeiro para a indústria de jogos, pois permite que pessoas de todas as idades aprendam essa tecnologia de uma maneira divertida. Neste livro, você descobrirá: Uma maior compreensão sobre NFT e Ethereum Introdução aos termos-chave Riscos envolvidos História e surgimento de NFTs Padrões do Token Ethereum Como funcionam os NFTs Por que os NFTs têm valor Usos dos NFTs Tokens Não Fungíveis, baseados em Blockchain O Merca
NFTs for Business: A Practical Guide to Harnessing Digital Assets
by Steve Wood Ahmed Bouzid Paolo NarcisoMove beyond the tech jargon and the hype of non-fungible tokens (NFT)s and become empowered to think through solutions to solve your specific business problems. NFTs are important because they enable the manipulation of digital assets in ways that are closer to the way we manipulate physical assets. This book will serve as an introduction to the space and as a source of inspiration for connecting problem and solution dots. Understanding what core problems NFTs solve and how they solve them will enable business leaders to design solutions and to put together the teams that will help them deliver on the promises of NFTs. This book is focused on explaining what NFTs are, what problems they solve, and what what technology makes them possible. It provides the larger technological, economic, and political context within which NFTs are emerging. You'll learn how NFTs are currently being used, such as in assessing authenticity, creating scarcity, identifying provenance, establishing and confirming ownership, and enabling the tracking and collection of royalties You'll also see how NFTs allow for the creation of unique digital assets that can be owned and traded just like physical assets. NFTs is your guide to the emerging possibilities of ownership and monetization of digital assets in established industries.What You'll LearnSee what problems NFTs can solveStudy the fundamentals of blockchain technologyUnderstand what “Web3” means and the possibilities ahead Identify problems that NFTs can solve Deliver NFT and blockchain based solutionsWho This Book Is ForEntrepreneurs, executives, and product line managers in the following industries: Art, Music, Podcasting, Gaming, Finance, and Real Estate. Additional audiences include Retail, Fashion, Entertainment, Event Management and Supply Chain Management.
NGINX Cookbook
by Derek DeJongheNGINX is one of the most widely used web servers available today, in part because of itscapabilities as a load balancer and reverse proxy server for HTTP and other network protocols. This revised cookbook provides easy-to-follow examples of real-world problems in application delivery. The practical recipes will help you set up and use either the open source or commercial offering to solve problems in various use cases.For professionals who understand modern web architectures, such as n-tier or microservice designs and common web protocols such as TCP and HTTP, these recipes provide proven solutions for security and software load balancing and for monitoring and maintaining NGINX's application delivery platform. You'll also explore advanced features of both NGINX and NGINX Plus, the free and licensed versions of this server.You'll find recipes for:High-performance load balancing with HTTP, TCP, and UDPSecuring access through encrypted traffic, secure links, HTTP authentication subrequests, and moreDeploying NGINX to Google, AWS, and Azure cloud computing servicesSetting up and configuring NGINX ControllerInstalling and configuring the NGINX App Protect moduleEnabling WAF through Controller ADCNGINX Instance Manager (new chapter)New recipes for NGINX Service Mesh, HTTP3 and QUIC, and the njs module
NGINX Cookbook
by Tim ButlerA practical book on real-world NGINX deployments to get you up and running quickly. About This Book • Be the first to immerse yourself in the NGINX 1.9x web server and explore the plethora of advanced features. • Master the skills of load balancing TCP-based applications and implementing HTTP/2. • A recipe-based approach book that provides you with up-to-date information on NGINX, allowing you to implement specific use cases immediately. Who This Book Is For This book is aimed at smaller-to-medium developers, who are just getting started with NGINX. It assumes they already understand the basics of how a web server works and how basic networking works. What You Will Learn • Practical, real-world examples and recipes on how to use NGINX • Common CMS deployments such as WordPress, Joomla and more • NGINX configurations for frameworks such as Ruby on Rails, Django and more • Detailed SSL recipes, including HTTP/2 • Real world rewrite examples • Basic web and TCP load balancing configuration • Bandwidth management and connection limiting • Detailed NGINX deployment scen+BO377arios with Docker • Performance tuning and monitoring of your NGINX deployments • OpenResty deployment guides • Advanced deployments with NGINX Plus features In Detail NGINX Cookbook covers the basics of configuring NGINX as a web server for use with common web frameworks such as WordPress and Ruby on Rails, through to utilization as a reverse proxy. Designed as a go-to reference guide, this book will give you practical answers based on real-world deployments to get you up and running quickly. Recipes have also been provided for multiple SSL configurations, different logging scenarios, practical rewrites, and multiple load balancing scenarios. Advanced topics include covering bandwidth management, Docker container usage, performance tuning, OpenResty, and the NGINX Plus commercial features. By the time you've read this book, you will be able to adapt and use a wide variety of NGINX implementations to solve any problems you have. Style and approach With practical, real-world examples and recipes on how to use NGINX, this go-to book will remain valid for many years. Included are detailed recipes that solve very specific and sometimes complicated user scenarios with NGINX. Readers will think "Ah, so that's how you do it!" after reading a chapter/sub-chapter. Each scenario in the book is thoroughly tested and validated, especially, when it comes to direct cut and paste code scenarios, where possible, we made test code available so that the reader can instantly see the system in action
NGINX Cookbook: Advanced Recipes For High-performance Load Balancing
by Derek DeJongheNGINX is one of the most widely used web servers available today, in part because of its capabilities as a load balancer and reverse proxy server for HTTP and other network protocols. This cookbook provides easy-to-follow examples to real-world problems in application delivery. The practical recipes will help you set up and use either the open source or commercial offering to solve problems in various use cases.For professionals who understand modern web architectures, such as n-tier or microservice designs, and common web protocols including TCP and HTTP, these recipes provide proven solutions for security, software load balancing, and monitoring and maintaining NGINX’s application delivery platform. You’ll also explore advanced features of both NGINX and NGINX Plus, the free and licensed versions of this server.You’ll find recipes for:High-performance load balancing with HTTP, TCP, and UDPSecuring access through encrypted traffic, secure links, HTTP authentication subrequests, and moreDeploying NGINX to Google Cloud, AWS, and Azure cloud computing servicesSetting up and configuring NGINX ControllerInstalling and configuring the NGINX Plus App Protect moduleEnabling WAF through Controller ADC
NGINX Cookbook: Advanced Recipes for High-Performance Load Balancing
by Derek DeJongheNGINX is one of the most widely used web servers available today, in part because of itscapabilities as a load balancer and reverse proxy server for HTTP and other network protocols. This revised cookbook provides easy-to-follow examples of real-world problems in application delivery. Practical recipes help you set up and use either the open source or commercial offering to solve problems in various use cases.For professionals who understand modern web architectures, such as n-tier or microservice designs and common web protocols such as TCP and HTTP, these recipes provide proven solutions for security and software load balancing and for monitoring and maintaining NGINX's application delivery platform. You'll also explore advanced features of both NGINX and NGINX Plus, the free and licensed versions of this server.You'll find recipes for:High-performance load balancing with HTTP, TCP, and UDPSecuring access through encrypted traffic, secure links, HTTP authentication subrequests, and moreDeploying NGINX to Google, AWS, and Azure cloudSetting up and configuring NGINX ControllerInstalling and configuring the NGINX App Protect moduleEnabling WAF through Controller ADCNGINX Instance Manager, Service Mesh, and the njs module
NGINX High Performance
by Rahul SharmaSystem administrators, developers, and engineers looking for ways to achieve maximum performance from NGINX will find this book beneficial. If you are looking for solutions such as how to handle more users from the same system or load your website pages faster, then this is the book for you.
NGINX Unit Cookbook: Recipes For Using A Versatile Open Source Server
by Derek DeJongheAlongside its popular web server, NGINX provides a dynamic application server that supports configuration through a RESTful JSON API. The open source NGINX Unit server deploys configuration changes without service disruptions and runs apps built with multiple languages and frameworks. This updated cookbook shows developers, DevOps personnel, network admins, and cloud infrastructure pros how to quickly get started with NGINX Unit.Hands-on recipes demonstrate Unit's new approach and show you how to deploy and configure this server for different applications. You'll learn how to run applications written in different languages on the same server, how to use NGINX Unit as the foundation for your web application development environment, and how Unit's RESTful API simplifies configuration.Learn how Unit differs from other middleware application serversInstall Unit using source code, Red Hat and Debian systems, or third-party repositoriesConfigure Unit using application, router, and listener objectsStart and stop the Unit server and the applications it runsManage user permissions, Linux namespace isolation, and API securityRun WordPress, Django, and other web applications with UnitServe applications with an NGINX proxy or load balancer
NGUI for Unity
by Charles BernardoffAn easy-to-follow, step-by-step tutorial focusing on practical situations and manipulations, guiding you to create a concrete Graphical User Interface and a simple 2D game. If you are a Unity 3D developer looking forward to learn NGUI for Unity, then this book is for you. Prior knowlege of C# scripting is expected. Additional knowledge of Unity 3D Editor, GameObject and creating/adding scripts to GameObject would be beneficial; however, no prior knowledge of NGUI is required.
NHibernate 2 Beginner's Guide
by Aaron CureThis is a beginner's guide to NHibernate that starts from ground zero. Successive chapters build upon earlier concepts, while the sample code presents various ways to accomplish typical data access tasks. Within a few chapters you have a running application using NHibernate to retrieve and store data. We examine all of the topics required to get a functional data access layer implemented by writing the least amount of code possible, presenting options along the way to handle particular edge cases or situations as they arise. When you have completed the various exercises you will have running data-bound desktop and web applications, as well as an understanding of how to implement NHibernate in your own applications. This book is for new and seasoned developers of .NET web or desktop applications who want a better way to access database data. It is a basic introduction to NHibernate, with enough information to get a solid foundation in using NHibernate. Some advanced concepts are presented where appropriate to enhance functionality or in situations where they are commonly used.
NHibernate 3 Beginner's Guide
by Aaron Cure Dr Gabriel Nicolas SchenkerThis is a beginner's guide with comprehensive step-by-step instructions. There are appropriate screenshots throughout the book and plenty of code, which is explained in a well-thought-out format. If you are a new or seasoned developer of .NET web or desktop applications who is looking for a better way to access database data, then this book is for you. It is a basic introduction to NHibernate, with enough information to get a solid foundation in using NHibernate. Some advanced concepts are presented where appropriate to enhance functionality or in situations where they are commonly used. Absolutely no knowledge of NHibernate is required to read this book.