hinchey mike (59 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 400 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buch fehlerhaft geklebt, Buchschnitt leicht verlängert | Seiten: 332 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16-18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as a powerful force in computing. Agent technology may well form the foundation for the next gen- ation of computing systems. New and innovative agent concepts and techniques may bring further developments to this exploding area of research. Such work is often strongly inspired by theoretical or empirical studies of human behavior, social intelligence, psychology, arts, biology, computer science and philosophy. Thisworkshopaimedatbringingtogether,inaninterdisciplinaryevent,or- inal thinkers, practitioners and academics with an interest in radical (very - novative) concepts for agent-based systems. The workshop provided a forum to present the latest research ndings in many aspects of agent technology. The - ganizers welcomed participation by those working in agent architectures, agent communities, agent communications, agent modeling, agent applications and other agent-related areas. We were particularly seeking papers on novel and - novative ideas, pushing the envelope of current agent technology. Contributions without a prototype or working system, i.e., purely conceptual contributions, were welcomed, and 'out-of-the-box' thinkers were especially encouraged to participate. The workshop was structured so as to allow the participants adequate time for discussion and interaction, to exchange ideas and re ect on the motivations, scienti c grounds and practical consequences of the concepts presented.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Zustand: Sehr gut. Zustand: Sehr gut - Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2014 | Seiten: 268 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Zustand: New. Mike Hinchey, PhD, is a Professor and former Director of Lero - the Irish Software Research Centre at the University of Limerick, Ireland. Dr. Hinchey is also the President of the International Federation for Information Processing (IFIP), a former column e.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 MethodsProvably 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. 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. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE's ability to handle autonomy requirements.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 MethodsProvably 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 512 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt, Buchrücken leicht angestoßen, Ausgabe 2012 | Seiten: 492 | Sprache: Englisch | Produktart: Bücher.

Gebunden. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 388 | Sprache: Englisch | Produktart: Bücher.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. The major topics covered are cyber-physical systems and sensor networks, data analytics and autonomous systems and MEMS and NEMS with applications in biomedical devices. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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.