Harold L. Hallock, Gary Welter, David G. Simpson, Christopher Rouff
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 29-May-2017, Hardback, Kirjastus: Springer London Ltd, ISBN-13: 9781447173243)
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. The information presented in this book was originally gi...Loe edasi...
This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics. This book de-emphasizes the formal mathematical...Loe edasi...
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 chapter...Loe edasi...
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 10-Mar-2017, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319486277)
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 a...Loe edasi...
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...Loe edasi...
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 09-Sep-2014, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319098159)
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 wh...Loe edasi...
In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems...Loe edasi...
The Web is growing at an astounding pace surpassing the 8 billion page mark. However, most pages are still designed for human consumption and cannot be processed by machines. This book provides a well-paced introduction to the Semantic Web. It covers...Loe edasi...
During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in...Loe edasi...
Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 09-Dec-2009, Hardback, Kirjastus: Springer London Ltd, ISBN-13: 9781846282324)
This book provides an in-depth discussion of autonomous and autonomic systems, their interdependencies, differences and similarities. Current and pending issues in these evermore increasingly important subjects are highlighted and discussed. Concepts...Loe edasi...
Karin Breitman, Marco Antonio Casanova, Walt Truszkowski
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 24-Jan-2007, Hardback, Kirjastus: Springer London Ltd, ISBN-13: 9781846285813)
Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is s...Loe edasi...
Michael Hinchey, Christopher Rouff, James Rash, Walt Truszkowski, Diana F. Gordon-Spears
Sari: NASA Monographs in Systems and Software Engineering
(Ilmumisaeg: 26-Oct-2005, Hardback, Kirjastus: Springer London Ltd, ISBN-13: 9781852339470)
Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS workshops in this interdisciplinary field. All papers have been updated, expanded or represent new research...Loe edasi...
