Skip to main content
Elsevier
View Cart
openUserAccount

Books in Software

BooksJournals
61-70 of 530 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.

Mobile Security and Privacy

  • 1st Edition
  • September 13, 2016
  • Man Ho Au + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 4 6 2 9 - 6
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 4 7 4 6 - 0
Mobile Security and Privacy: Advances, Challenges and Future Research Directions provides the first truly holistic view of leading edge mobile security research from Dr. Man Ho Au and Dr. Raymond Choo—leading researchers in mobile security. Mobile devices and apps have become part of everyday life in both developed and developing countries. As with most evolving technologies, mobile devices and mobile apps can be used for criminal exploitation. Along with the increased use of mobile devices and apps to access and store sensitive, personally identifiable information (PII) has come an increasing need for the community to have a better understanding of the associated security and privacy risks. Drawing upon the expertise of world-renowned researchers and experts, this volume comprehensively discusses a range of mobile security and privacy topics from research, applied, and international perspectives, while aligning technical security implementations with the most recent developments in government, legal, and international environments. The book does not focus on vendor-specific solutions, instead providing a complete presentation of forward-looking research in all areas of mobile security. The book will enable practitioners to learn about upcoming trends, scientists to share new directions in research, and government and industry decision-makers to prepare for major strategic decisions regarding implementation of mobile technology security and privacy. In addition to the state-of-the-art research advances, this book also discusses prospective future research topics and open challenges.

Advances in GPU Research and Practice

  • 1st Edition
  • September 6, 2016
  • Hamid Sarbazi-Azad
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 3 7 3 8 - 6
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 3 7 8 8 - 1
Advances in GPU Research and Practice focuses on research and practices in GPU based systems. The topics treated cover a range of issues, ranging from hardware and architectural issues, to high level issues, such as application systems, parallel programming, middleware, and power and energy issues. Divided into six parts, this edited volume provides the latest research on GPU computing. Part I: Architectural Solutions focuses on the architectural topics that improve on performance of GPUs, Part II: System Software discusses OS, compilers, libraries, programming environment, languages, and paradigms that are proposed and analyzed to help and support GPU programmers. Part III: Power and Reliability Issues covers different aspects of energy, power, and reliability concerns in GPUs. Part IV: Performance Analysis illustrates mathematical and analytical techniques to predict different performance metrics in GPUs. Part V: Algorithms presents how to design efficient algorithms and analyze their complexity for GPUs. Part VI: Applications and Related Topics provides use cases and examples of how GPUs are used across many sectors.

Coding for Penetration Testers

  • 2nd Edition
  • September 3, 2016
  • Jason Andress + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 5 4 7 2 - 7
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 5 4 7 3 - 4
Coding for Penetration Testers: Building Better Tools, Second Edition provides readers with an understanding of the scripting languages that are commonly used when developing tools for penetration testing, also guiding users through specific examples of custom tool development and the situations where such tools might be used. While developing a better understanding of each language, the book presents real-world scenarios and tool development that can be incorporated into a tester's toolkit. This completely updated edition focuses on an expanded discussion on the use of Powershell, and includes practical updates to all tools and coverage.

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.

Managing Trade-offs in Adaptable Software Architectures

  • 1st Edition
  • August 11, 2016
  • Ivan Mistrik + 4 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 2 8 5 5 - 1
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 2 8 9 1 - 9
Managing Trade-Offs in Adaptable Software Architectures explores the latest research on adapting large complex systems to changing requirements. To be able to adapt a system, engineers must evaluate different quality attributes, including trade-offs to balance functional and quality requirements to maintain a well-functioning system throughout the lifetime of the system. This comprehensive resource brings together research focusing on how to manage trade-offs and architect adaptive systems in different business contexts. It presents state-of-the-art techniques, methodologies, tools, best practices, and guidelines for developing adaptive systems, and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to, how to architect a system for adaptability, software architecture for self-adaptive systems, understanding and balancing the trade-offs involved, architectural patterns for self-adaptive systems, how quality attributes are exhibited by the architecture of the system, how to connect the quality of a software architecture to system architecture or other system considerations, and more.

GPU Programming in MATLAB

  • 1st Edition
  • July 28, 2016
  • Nikolaos Ploskas + 1 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 5 1 3 2 - 0
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 5 1 3 3 - 7
GPU programming in MATLAB is intended for scientists, engineers, or students who develop or maintain applications in MATLAB and would like to accelerate their codes using GPU programming without losing the many benefits of MATLAB. The book starts with coverage of the Parallel Computing Toolbox and other MATLAB toolboxes for GPU computing, which allow applications to be ported straightforwardly onto GPUs without extensive knowledge of GPU programming. The next part covers built-in, GPU-enabled features of MATLAB, including options to leverage GPUs across multicore or different computer systems. Finally, advanced material includes CUDA code in MATLAB and optimizing existing GPU applications. Throughout the book, examples and source codes illustrate every concept so that readers can immediately apply them to their own development.

Matlab

  • 4th Edition
  • July 23, 2016
  • Dorothy C. Attaway
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 4 5 4 1 - 1
MATLAB: A Practical Introduction to Programming and Problem Solving, Fourth Edition, winner of a 2017 Textbook Excellence Award (Texty), has been updated to reflect the functionality of the current version of MATLAB, including the new H2 Graphics system. It features new and revised end-of-chapter exercises, more engineering applications to help the reader learn this software tool in context, and a new section on object-oriented programming in MATLAB. MATLAB has become the standard software tool for solving scientific and engineering problems due to its powerful built-in functions and its ability to program. Assuming no knowledge of programming, this book guides the reader through both programming and built-in functions to easily exploit MATLAB's extensive capabilities for tackling engineering problems. The book starts with programming concepts, such as variables, assignments, and selection statements, moves on to loops, and then solves problems using both the programming concept and the power of MATLAB. In-depth coverage is given to input/output, a topic fundamental to many engineering applications.

Perspectives on Data Science for Software Engineering

  • 1st Edition
  • July 12, 2016
  • Tim Menzies + 2 more
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 4 2 0 6 - 9
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 4 2 6 1 - 8
Perspectives on Data Science for Software Engineering presents the best practices of seasoned data miners in software engineering. The idea for this book was created during the 2014 conference at Dagstuhl, an invitation-only gathering of leading computer scientists who meet to identify and discuss cutting-edge informatics topics. At the 2014 conference, the concept of how to transfer the knowledge of experts from seasoned software engineers and data scientists to newcomers in the field highlighted many discussions. While there are many books covering data mining and software engineering basics, they present only the fundamentals and lack the perspective that comes from real-world experience. This book offers unique insights into the wisdom of the community’s leaders gathered to share hard-won lessons from the trenches. Ideas are presented in digestible chapters designed to be applicable across many domains. Topics included cover data collection, data sharing, data mining, and how to utilize these techniques in successful software projects. Newcomers to software engineering data science will learn the tips and tricks of the trade, while more experienced data scientists will benefit from war stories that show what traps to avoid.

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.

Related subjects

Object oriented technologies

Operating systems

Parallel and distributed computing

Programming languages

Programming techniques

Software engineering

Software general

Symbolic and algebraic manipulation