Agent Technology from a Formal Perspective

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS worksho... Lees meer

Semantic Web: Concepts, Technologies and Applications

Karin Breitman, Marco Antonio Casanova, Walt Truszkowski

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• 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 b... Lees meer

ACS Without an Attitude

Harold L Hallock, Gary Welter, David G Simpson, Christopher Rouff

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, con... Lees meer

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• This book provides an in-depth discussion of autonomous and autonomic systems, their interdependencies, differences and similarities. Current and pend... Lees meer

Autonomy Requirements Engineering for Space Missions

Emil Vassev, Mike Hinchey

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are majo... Lees meer

Autonomy Requirements Engineering for Space Missions

Emil Vassev, Mike Hinchey

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are majo... Lees meer

Provably Correct Systems

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuri... Lees meer

Agent Technology from a Formal Perspective

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS worksho... Lees meer

Provably Correct Systems

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuri... Lees meer

Semantic Web: Concepts, Technologies and Applications

Karin Breitman, Marco Antonio Casanova, Walt Truszkowski

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• 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 b... Lees meer

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt

• Hardcover | Engels | NASA Monographs in Systems and Software Engineering
• This book provides an in-depth discussion of autonomous and autonomic systems, their interdependencies, differences and similarities. Current and pend... Lees meer

ACS Without an Attitude

Harold L Hallock, Gary Welter, David G Simpson, Christopher Rouff

• Paperback | Engels | NASA Monographs in Systems and Software Engineering
• This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, con... Lees meer