Skip to main content

Books in Computer systems organization

31-40 of 263 results in All results

Protocol Specification, Testing and Verification, XII

  • 1st Edition
  • Volume 8
  • September 20, 2016
  • R.J. Linn + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 3 3 4 - 9
For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations.Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models.Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

Intelligent Vehicular Networks and Communications

  • 1st Edition
  • September 1, 2016
  • Anand Paul + 3 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 9 2 6 6 - 8
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 9 5 4 6 - 1
Intelligent Vehicular Network and Communications: Fundamentals, Architectures and Solutions begins with discussions on how the transportation system has transformed into today’s Intelligent Transportation System (ITS). It explores the design goals, challenges, and frameworks for modeling an ITS network, discussing vehicular network model technologies, mobility management architectures, and routing mechanisms and protocols. It looks at the Internet of Vehicles, the vehicular cloud, and vehicular network security and privacy issues. The book investigates cooperative vehicular systems, a promising solution for addressing current and future traffic safety needs, also exploring cooperative cognitive intelligence, with special attention to spectral efficiency, spectral scarcity, and high mobility. In addition, users will find a thorough examination of experimental work in such areas as Controller Area Network protocol and working function of On Board Unit, as well as working principles of roadside unit and other infrastructural nodes. Finally, the book examines big data in vehicular networks, exploring various business models, application scenarios, and real-time analytics, concluding with a look at autonomous vehicles.

Advances in Computers

  • 1st Edition
  • Volume 103
  • August 19, 2016
  • Atif Memon
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 0 9 9 4 1 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 5 1 6 7 - 2
Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

Advances in Computers

  • 1st Edition
  • Volume 102
  • July 4, 2016
  • Suyel Namasudra + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 0 9 9 1 9 - 3
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 5 1 6 8 - 9
Advances in Computers, an ongoing series since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references and continue to be of significant, lasting value in this rapidly expanding field.

Communications for Control in Cyber Physical Systems

  • 1st Edition
  • June 13, 2016
  • Husheng Li
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 1 9 5 0 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 1 9 6 4 - 1
Communications and Controls in Cyber Physical Systems: Theory, Design and Applications in Smart Grids provides readers with all they need to know about cyber physical systems (CPSs), such as smart grids, which have attracted intensive studies in recent years. Communications and controls are of key importance for maintaining and stabilizing the operation of the physical dynamics in these complicated systems. This book presents a systematic treatment on the communication and control aspects of CPSs, along with applications to the smart grid in four parts, including the basics of CPS, communications and controls, an explanation of the integration with CPS, coverage of controls with information constraints in CPS, and an applications oriented focus on smart grids as a CPS. Drawing upon years of practical experience and using numerous examples and illustrations, the authors’ discuss key communication and controls design methods that can be integrated into a CPS, how communication and control schemes can be applied in practical systems such as smart grids, new directions and approaches for traditional engineers and researchers in communications, and controls and power systems as they relates to CPSs.

Wireless Public Safety Networks 2

  • 1st Edition
  • June 7, 2016
  • Daniel Camara + 1 more
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 0 5 2 - 2
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 1 0 6 9 - 3
Wireless Public Safety Networks, Volume Two: A Systematic Approach presents the latest advances in the wireless Public Safety Networks (PSNs) field, the networks established by authorities to either prepare the population for an eminent catastrophe, or those used for support during crisis and normalization phases. Maintaining communication capabilities in a disaster scenario is crucial for avoiding loss of lives and damages to property. This book examines past communication failures that have directly contributed to the loss of lives, giving readers in-depth discussions of the public networks that impact emergency management, covering social media, crowdsourcing techniques, wearable wireless sensors, moving-cells scenarios, mobility management protocols, 5G networks, broadband networks, data dissemination, and the resources of the frequency spectrum.

Intel Xeon Phi Processor High Performance Programming

  • 2nd Edition
  • May 31, 2016
  • James Jeffers + 2 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 9 1 9 4 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 9 1 9 5 - 1
Intel Xeon Phi Processor High Performance Programming is an all-in-one source of information for programming the Second-Generation Intel Xeon Phi product family also called Knights Landing. The authors provide detailed and timely Knights Landingspecific details, programming advice, and real-world examples. The authors distill their years of Xeon Phi programming experience coupled with insights from many expert customers — Intel Field Engineers, Application Engineers, and Technical Consulting Engineers — to create this authoritative book on theessentials of programming for Intel Xeon Phi products. Intel® Xeon Phi™ Processor High-Performance Programming is useful even before you ever program a system with an Intel Xeon Phi processor. To help ensure that your applications run at maximum efficiency, the authors emphasize key techniques for programming any modern parallel computing system whether based on Intel Xeon processors, Intel Xeon Phi processors, or other high-performance microprocessors. Applying these techniques will generally increase your program performance on any system and prepareyou better for Intel Xeon Phi processors.

Smart Cities and Homes

  • 1st Edition
  • May 12, 2016
  • Petros Nicopolitidis
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 3 4 5 4 - 5
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 3 4 6 3 - 7
Smart Cities and Homes: Key Enabling Technologies explores the fundamental principles and concepts of the key enabling technologies for smart cities and homes, disseminating the latest research and development efforts in the field through the use of numerous case studies and examples. Smart cities use digital technologies embedded across all their functions to enhance the wellbeing of citizens. Cities that utilize these technologies report enhancements in power efficiency, water use, traffic congestion, environmental protection, pollution reduction, senior citizens care, public safety and security, literacy rates, and more. This book brings together the most important breakthroughs and advances in a coherent fashion, highlighting the interconnections between the works in different areas of computing, exploring both new and emerging computer networking systems and other computing technologies, such as wireless sensor networks, vehicle ad hoc networks, smart girds, cloud computing, and data analytics and their roles in creating environmentally friendly, secure, and prosperous cities and homes. Intended for researchers and practitioners, the book discusses the pervasive and cooperative computing technologies that will perform a central role for handling the challenges of urbanization and demographic change.

Internet of Things

  • 1st Edition
  • May 10, 2016
  • Rajkumar Buyya + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 5 3 9 5 - 9
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 9 3 4 7 - 4
Internet of Things: Principles and Paradigms captures the state-of-the-art research in Internet of Things, its applications, architectures, and technologies. The book identifies potential future directions and technologies that facilitate insight into numerous scientific, business, and consumer applications. The Internet of Things (IoT) paradigm promises to make any electronic devices part of the Internet environment. This new paradigm opens the doors to new innovations and interactions between people and things that will enhance the quality of life and utilization of scarce resources. To help realize the full potential of IoT, the book addresses its numerous challenges and develops the conceptual and technological solutions for tackling them. These challenges include the development of scalable architecture, moving from closed systems to open systems, designing interaction protocols, autonomic management, and the privacy and ethical issues around data sensing, storage, and processing.

Hiding Behind the Keyboard

  • 1st Edition
  • March 11, 2016
  • Brett Shavers + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 3 3 4 0 - 1
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 3 3 5 2 - 4
Hiding Behind the Keyboard: Uncovering Covert Communication Methods with Forensic Analysis exposes the latest electronic covert communication techniques used by cybercriminals, along with the needed investigative methods for identifying them. The book shows how to use the Internet for legitimate covert communication, while giving investigators the information they need for detecting cybercriminals who attempt to hide their true identity. Intended for practitioners and investigators, the book offers concrete examples on how to communicate securely, serving as an ideal reference for those who truly need protection, as well as those who investigate cybercriminals.