Mike Hinchey - Böcker
Visar alla böcker från författaren Mike Hinchey. Handla med fri frakt och snabb leverans.
23 produkter
23 produkter
Biologically-Inspired Collaborative Computing
IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
Inbunden, Engelska, 2008
1 105 kr
Skickas inom 10-15 vardagar
“Look deep into nature and you will understand everything better.” advised Albert Einstein. In recent years, the research communities in Computer Science, Engineering, and other disciplines have taken this message to heart, and a relatively new field of “biologically-inspired computing” has been born. Inspiration is being drawn from nature, from the behaviors of colonies of ants, of swarms of bees and even the human body. This new paradigm in computing takes many simple autonomous objects or agents and lets them jointly perform a complex task, without having the need for centralized control. In this paradigm, these simple objects interact locally with their environment using simple rules. Applications include optimization algorithms, communications networks, scheduling and decision making, supply-chain management, and robotics, to name just a few. There are many disciplines involved in making such systems work: from artificial intelligence to energy aware systems. Often these disciplines have their own field of focus, have their own conferences, or only deal with specialized s- problems (e.g. swarm intelligence, biologically inspired computation, sensor networks). The Second IFIP Conference on Biologically-Inspired Collaborative Computing aims to bridge this separation of the scientific community and bring together researchers in the fields of Organic Computing, Autonomic Computing, Self-Organizing Systems, Pervasive Computing and related areas. We are very pleased to have two very important keynote presentations: Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles by Marco Dorigo (Université Libre de Bruxelles, Belgium), of which an abstract is included in this volume.
1 076 kr
Skickas inom 7-10 vardagar
A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columnsThis book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field.Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologiesCovers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and securityContains rewritten and updated articles by leaders in the software industryCovers both theoretical and practical topicsInformative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.
1 073 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Conference on Biologically-Inspired Computing, held in Italy on September 8-9, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
1 638 kr
Skickas inom 10-15 vardagar
Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. The problem is fundamentally one of complexity: software is fundamentally complex because it must be precise. Problems that appear to be specified quite easily in plain language become far more complex when written in a more formal notation, such as computer code. Comparisons with other engineering disciplines are deceptive. One cannot easily increase the factor of safety of software in the same way that one could in building a steel structure, for example. Software is typically built assuming perfection, often without adequate safety nets in case the unthinkable happens. In such circumstances it should not be surprising to find out that (seemingly) minor errors have the potential to cause entire software systems to collapse. The goal of this book is to uncover techniques that will aid in overcoming complexity and enable us to produce reliable, dependable computer systems that will operate as intended, and yet are produced on-time, in budget, and are evolvable, both over time and at run time. We hope that the contributions in this book will aid in understanding the nature of software complexity and provide guidance for the control or avoidance of complexity in the engineering of complex software systems.
1 638 kr
Skickas inom 10-15 vardagar
Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. The problem is fundamentally one of complexity: software is fundamentally complex because it must be precise. Problems that appear to be specified quite easily in plain language become far more complex when written in a more formal notation, such as computer code. Comparisons with other engineering disciplines are deceptive. One cannot easily increase the factor of safety of software in the same way that one could in building a steel structure, for example. Software is typically built assuming perfection, often without adequate safety nets in case the unthinkable happens. In such circumstances it should not be surprising to find out that (seemingly) minor errors have the potential to cause entire software systems to collapse. The goal of this book is to uncover techniques that will aid in overcoming complexity and enable us to produce reliable, dependable computer systems that will operate as intended, and yet are produced on-time, in budget, and are evolvable, both over time and at run time. We hope that the contributions in this book will aid in understanding the nature of software complexity and provide guidance for the control or avoidance of complexity in the engineering of complex software systems.
Del 15240 - Lecture Notes in Computer Science
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Häftad, Engelska, 2024
830 kr
Skickas inom 10-15 vardagar
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for coherence and alignment in complex systems through verification, model checking and workflow synthesis. Her quest for simplicity spans technologies (low-code/no-code; ITSy project), business (Business Model Canvas; tools for innovative business models) and disciplines with her concept of the Digital Thread, a metaphor for IT-mediated interoperation of reusable and ideally verified tools and systems in new platforms where reuse, repurposing and evolution are supported by design. Her most recent initiative, R@ISE, aims at opening the world of IT production and adaptation to a wider range of users and professions. Tiziana is a cofounder and managing editor of the International Journal on Software Tools for Technology Transfer, she cofounded the ISoLA conference, and cofounded METAFrame Technologies serving as CEO. She is a Fellow of the Society for Design and Process Science and a Fellow and President of the Irish Computer Society.Throughout her career Tiziana’s successes have been motivated by how best to advance science and engineering through the implementation of techniques in challenging applications, and the contributions in this volume by leading researchers are representative of a community that shares this drive.
1 099 kr
Skickas inom 10-15 vardagar
Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today.
Nature of Computation and Communication
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
Häftad, Engelska, 2015
556 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.
1 105 kr
Skickas inom 10-15 vardagar
Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today.
1 105 kr
Skickas inom 10-15 vardagar
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Häftad, Engelska, 2017
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. graph theory and scheduling algorithms; quantum and matrix algorithms; algorithms for strings and formal languages;
1 099 kr
Skickas inom 10-15 vardagar
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
Innovative Concepts for Agent-Based Systems
First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
Häftad, Engelska, 2003
540 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Radical Agent Concepts, WRAC 2002, held in McLean, VA, USA in January 2002.The 32 revised full papers presented together with an invited article, 6 poster papers, and 2 panel reports were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on adaptation and learning, agent-based software engineering, agent architectures, agent communication and coordination, and innovative applications.
556 kr
Skickas inom 10-15 vardagar
st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20–23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.
Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Häftad, Engelska, 2012
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
556 kr
Skickas inom 10-15 vardagar
st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20–23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.
Applications of Networks, Sensors and Autonomous Systems Analytics
Proceedings of ICANSAA 2020
Inbunden, Engelska, 2021
3 457 kr
Skickas inom 10-15 vardagar
This book presents high-quality research papers presented at International Conference on Applications of Networks, Sensors and Autonomous Systems Analytics (ICANSAA 2020), held during December, 11 – 12, 2020, at JIS College of Engineering, Kalyani, West Bengal, India.
Applications of Networks, Sensors and Autonomous Systems Analytics
Proceedings of ICANSAA 2020
Häftad, Engelska, 2022
2 435 kr
Skickas inom 10-15 vardagar
This book presents high-quality research papers presented at International Conference on Applications of Networks, Sensors and Autonomous Systems Analytics (ICANSAA 2020), held during December, 11 – 12, 2020, at JIS College of Engineering, Kalyani, West Bengal, India.
Innovations in Signal Processing and Embedded Systems
Proceedings of ICISPES 2021
Inbunden, Engelska, 2022
1 638 kr
Skickas inom 10-15 vardagar
This book covers four sections such as artificial intelligence and machine learning; VLSI and signal processing; robotics and automation; and communications and networking. This book is a collection of selected papers presented at the First International Conference on Innovations in Signal Processing and Embedded Systems (ICISPES 2021), organized by MLR Institute of Technology, Hyderabad, India, during October 22–23, 2021. The topics covered are advanced communication technologies, IoT-based systems and applications, application AI in computer vision, natural language processing, reinforcement learning, ANN and deep neural networks, RNN, GAN, CNN and RBM, SOC, NOC design, VLSI and CAD/CAM, cross-layer design, fault tolerance and computation theories, FPGA in outer space, nanotechnology, semiconductor technology, signal and image processing, high-performance computing, pattern recognition and computer vision innovations in robotics, reconfigurable robots, and MEMS/NEMS.
Innovations in Signal Processing and Embedded Systems
Proceedings of ICISPES 2021
Häftad, Engelska, 2023
1 638 kr
Skickas inom 10-15 vardagar
This book covers four sections such as artificial intelligence and machine learning; VLSI and signal processing; robotics and automation; and communications and networking. This book is a collection of selected papers presented at the First International Conference on Innovations in Signal Processing and Embedded Systems (ICISPES 2021), organized by MLR Institute of Technology, Hyderabad, India, during October 22–23, 2021. The topics covered are advanced communication technologies, IoT-based systems and applications, application AI in computer vision, natural language processing, reinforcement learning, ANN and deep neural networks, RNN, GAN, CNN and RBM, SOC, NOC design, VLSI and CAD/CAM, cross-layer design, fault tolerance and computation theories, FPGA in outer space, nanotechnology, semiconductor technology, signal and image processing, high-performance computing, pattern recognition and computer vision innovations in robotics, reconfigurable robots, and MEMS/NEMS.
Del 1380 - Lecture Notes in Networks and Systems
Recent Advances in Artificial Intelligence and Smart Applications
Proceedings of RAAISA 2024
Häftad, Engelska, 2025
1 696 kr
Skickas inom 10-15 vardagar
This book includes original unpublished contributions presented in the Second International Conference on Recent Advances in Artificial Intelligence and Smart Applications (RAAISA 2024), organized by the Department of CSE, University of Engineering and Management, Kolkata, India, during December 14–15, 2024. The topics covered are progression of artificial intelligence techniques like smart agent-based systems, human–computer interaction technologies, reinforcement learning, sentiment analysis, recurrent neural networks and its applications, genetic algorithms, and neural networks.
Recent Advances in Artificial Intelligence and Smart Applications
Proceedings of RAAISA 2023
Inbunden, Engelska, 2024
3 269 kr
Skickas inom 10-15 vardagar
The book includes original unpublished contributions presented in First International Conference on Recent Advances in Artificial Intelligence and Smart Applications (RAAISA 2023), organized by Department of CSE, University of Engineering and Management, Kolkata, India during 14 – 15 December 2023.
Recent Advances in Artificial Intelligence and Smart Applications
Proceedings of RAAISA 2023
Häftad, Engelska, 2025
3 269 kr
Skickas inom 10-15 vardagar
The book includes original unpublished contributions presented in First International Conference on Recent Advances in Artificial Intelligence and Smart Applications (RAAISA 2023), organized by Department of CSE, University of Engineering and Management, Kolkata, India during 14 – 15 December 2023. The topics covered are progression of artificial intelligence techniques like smart agent-based systems, human-computer interaction technologies, reinforcement learning, sentiment analysis, recurrent neural networks and its applications, genetic algorithm, and neural networks.