LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 15

Search options

  1. Article: Guest Editorial: Intelligence for systems and software engineering.

    Hinchey, Mike / Jain, Amit / Kaushik, Manju / Misra, Sanjay

    Innovations in systems and software engineering

    2023  Volume 19, Issue 1, Page(s) 1–4

    Language English
    Publishing date 2023-01-30
    Publishing country England
    Document type News
    ZDB-ID 2195084-2
    ISSN 1614-5054 ; 1614-5046
    ISSN (online) 1614-5054
    ISSN 1614-5046
    DOI 10.1007/s11334-023-00526-1
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

  2. Book ; Conference proceedings: Distributed, parallel and biologically inspired systems

    Hinchey, Mike

    7th IFIP TC 10 working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010 ; held as part of WCC 2010 [the 21st IFIP World Computer Congress], Brisbane, Australia, September 20 - 23, 2010 ; proceedings

    (IFIP advances in information and communication technology ; 329)

    2010  

    Title variant DIPES/BIC 2010
    Institution DIPES
    International Conference on Biologically Inspired Collaborative Computing
    International Federation for Information Processing / Technical Committee Computer Systems Technology
    World Computer Congress
    Event/congress BICC (3, 2010.09.20-23, Brisbane) ; DIPES (7, 2010.09.20-23, Brisbane) ; IFIP Conference on Biologically-Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; IFIP Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details Mike Hinchey ... (eds.). [International Federation for Information Processing, TC 10: Computer Systems Technology]
    Series title IFIP advances in information and communication technology ; 329
    Keywords Biologically-inspired computing ; Electronic data processing/Distributed processing ; Embedded computer systems ; Parallel processing (Electronic computers) ; Parallelverarbeitung ; Adaptives System ; Verteiltes System ; Lernendes System ; Eingebettetes System ; Ameisenalgorithmus ; Kollaboration
    Language English
    Size XVI, 316 S., Ill., graph. Darst., 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben ; One of 13 WCC 2010 volumes
    ISBN 3642152333 ; 9783642152337
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  3. Book ; Conference proceedings ; Online: Distributed, Parallel and Biologically Inspired Systems

    Hinchey, Mike

    7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    (IFIP Advances in Information and Communication Technology ; 329)

    2010  

    Institution DIPES
    International Conference on Biologically Inspired Collaborative Computing
    International Federation for Information Processing
    World Computer Congress
    Event/congress BICC (3, 2010.09.20-23, Brisbane) ; Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; DIPES (7, 2010.09.20-23, Brisbane) ; IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; International Conference on Biologically Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
    Series title IFIP Advances in Information and Communication Technology ; 329
    Keywords Artificial intelligence ; Computer Communication Networks ; Computer science ; Computer software ; Information systems ; Logic design ; Software engineering
    Language English
    Size Online-Ressource, v.: digital
    Publisher IFIP International Federation for Information Processing
    Publishing place Berlin, Heidelberg
    Document type Book ; Conference proceedings ; Online
    Note Includes bibliographical references and index
    ISBN 9783642152337 ; 9783642152344 ; 3642152333 ; 3642152341
    DOI 10.1007/978-3-642-15234-4
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  4. Book ; Conference proceedings ; Online: Distributed, Parallel and Biologically Inspired Systems

    Hinchey, Mike

    7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    (IFIP Advances in Information and Communication Technology ; 329)

    2010  

    Institution DIPES
    International Conference on Biologically Inspired Collaborative Computing
    International Federation for Information Processing
    World Computer Congress
    Event/congress BICC (3, 2010.09.20-23, Brisbane) ; Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; DIPES (7, 2010.09.20-23, Brisbane) ; IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; International Conference on Biologically Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
    Series title IFIP Advances in Information and Communication Technology ; 329
    Keywords Artificial intelligence ; Computer Communication Networks ; Computer science ; Computer software ; Information systems ; Logic design ; Software engineering
    Language English
    Size Online-Ressource, v.: digital
    Publisher IFIP International Federation for Information Processing
    Publishing place Berlin, Heidelberg
    Document type Book ; Conference proceedings ; Online
    Note Includes bibliographical references and index
    ISBN 9783642152337 ; 9783642152344 ; 3642152333 ; 3642152341
    DOI 10.1007/978-3-642-15234-4
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  5. Book ; Conference proceedings: Distributed, parallel and biologically inspired systems

    Hinchey, Mike

    7th IFIP TC 10 working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010 ; held as part of WCC 2010 [the 21st IFIP World Computer Congress], Brisbane, Australia, September 20 - 23, 2010 ; proceedings

    (IFIP advances in information and communication technology ; 329)

    2010  

    Title variant DIPES/BIC 2010
    Institution DIPES
    International Conference on Biologically Inspired Collaborative Computing
    International Federation for Information Processing / Technical Committee Computer Systems Technology
    World Computer Congress
    Event/congress BICC (3, 2010.09.20-23, Brisbane) ; DIPES (7, 2010.09.20-23, Brisbane) ; IFIP Conference on Biologically-Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; IFIP Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (3, 2010.09.20-23, Brisbane) ; IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (7, 2010.09.20-23, Brisbane) ; IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details Mike Hinchey ... (eds.). [International Federation for Information Processing, TC 10: Computer Systems Technology]
    Series title IFIP advances in information and communication technology ; 329
    Keywords Biologically-inspired computing ; Electronic data processing/Distributed processing ; Embedded computer systems ; Parallel processing (Electronic computers) ; Parallelverarbeitung ; Adaptives System ; Verteiltes System ; Lernendes System ; Eingebettetes System ; Ameisenalgorithmus ; Kollaboration
    Language English
    Size XVI, 316 S., Ill., graph. Darst., 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben ; One of 13 WCC 2010 volumes
    ISBN 3642152333 ; 9783642152337
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  6. Book: Conquering complexity

    Coyle, Lorcan / Hinchey, Mike

    2012  

    Author's details Mike Hinchey, Lorcan Coyle, eds. Foreword by Roger Penrose
    Keywords Computational complexity ; Software engineering
    Language English
    Size xxiii, 466 S., Ill., graph. Darst, 24 cm
    Publisher Springer
    Publishing place London u.a.
    Document type Book
    ISBN 1447122968 ; 9781447122968 ; 9781447122975 ; 1447122976
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  7. Book ; Online: Autonomy Requirements Engineering for Space Missions

    Vassev, Emil / Hinchey, Mike

    (NASA Monographs in Systems and Software Engineering)

    2014  

    Abstract: 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 ... ...

    Author's details by Emil Vassev, Mike Hinchey
    Series title NASA Monographs in Systems and Software Engineering
    Abstract 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
    Keywords Artificial intelligence ; Computer science ; Electronic data processing ; Software engineering ; Computer # Informatik ; Computer # Internet / Intranet ; Computer # Software ; Computer # Software-Design ; Technik / Wissen # Luft- und Raumfahrt
    Language English
    Size Online-Ressource (XVII, 250 p. 38 illus), online resource
    Publisher Springer International Publishing
    Publishing place Cham ;s.l
    Document type Book ; Online
    Note Description based upon print version of record
    ISBN 9783319098159 ; 9783319098166 ; 3319098152 ; 3319098160
    DOI 10.1007/978-3-319-09816-6
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  8. Book ; Conference proceedings: Biologically-inspired collaborative computing

    Hinchey, Mike / Pagnoni, Anastasia

    IFIP 20th World Computer Congress [WCC 2008], Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy

    (IFIP International Federation for Information Processing ; 268)

    2008  

    Institution International Conference on Biologically Inspired Collaborative Computing
    International Federation for Information Processing / Technical Committee Computer Systems Technology
    World Computer Congress
    Event/congress IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) (2, 2008.09.08-09, Milano) ; IFIP World Computer Congress (20, 2008.09.07-10, Milano) ; WCC (20, 2008.09.07-10, Milano)
    Author's details ed. by Mike Hinchey
    Series title IFIP International Federation for Information Processing ; 268
    Language English
    Size XII, 246 S., Ill., graph. Darst., 24 cm
    Publisher Springer
    Publishing place New York, NY
    Document type Book ; Conference proceedings
    Note Literaturangaben ; One of fourteen WCC 2008 volumes
    ISBN 038709654X ; 9780387096544 ; 9780387096551 ; 0387096558
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  9. Book ; Conference proceedings ; Online: Nature of Computation and Communication

    Vinh, Phan Cong / Hinchey, Mike / Vassev, Emil

    International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

    (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 144)

    2015  

    Abstract: 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 ... ...

    Author's details edited by Phan Cong Vinh, Emil Vassev, Mike Hinchey
    Series title Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 144
    Abstract 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
    Keywords Computer Communication Networks ; Computer science ; Computer vision ; Database management ; Electronic data processing ; Information theory ; Optical pattern recognition
    Language English
    Size Online-Ressource (XIII, 371 p. 150 illus), online resource
    Publisher Springer International Publishing
    Publishing place Cham ;s.l
    Document type Book ; Conference proceedings ; Online
    ISBN 9783319153919 ; 9783319153926 ; 3319153919 ; 3319153927
    DOI 10.1007/978-3-319-15392-6
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  10. Book ; Online: Conquering Complexity

    Hinchey, Mike / Coyle, Lorcan

    2012  

    Abstract: Lorcan Coyle ... 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 ...

    Author's details edited by Mike Hinchey, Lorcan Coyle
    Abstract Lorcan Coyle

    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 notati
    Keywords Computer science ; Computer # Einsteiger / Grundlagen
    Language English
    Size Online-Ressource, Ill., graph. Darst.
    Publisher Springer London
    Publishing place London u.a.
    Document type Book ; Online
    Note Includes bibliographical references and index
    ISBN 1283439646 ; 1283443732 ; 9781283443739 ; 9781447122968 ; 9781447122975 ; 9781283439640 ; 1447122968 ; 1447122976
    DOI 10.1007/978-1-4471-2297-5
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

To top