Search results for "Propulsion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	John R. Wright, Frank R. Hartman, Brian K. Cooper	Immersive Environment Technologies for Planetary Exploration.	VR	2001	DBLP DOI BibTeX RDF	Rover Control Workstation, JPL, visualization, terrain modelling, Immersive environments, Mars, Pathfinder
12	Ben L. Di Vito	High-automation proofs for properties of requirements models.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Avionics software, Proof strategies, Formal methods, Theorem proving, Requirements analysis
12	Ricardo Salem Zebulum, Adrian Stoica, Didier Keymeulen	A Flexible Model of a CMOS Field Programmable Transistor Array Targeted for Hardware Evolution.	ICES	2000	DBLP DOI BibTeX RDF
12	David J. Korsmeyer, Edward T. Chow, Michael P. Conroy	IsoWAN: A NASA Science and Engineering Information and Services Framework.	ISCC	2000	DBLP DOI BibTeX RDF	Networking, Frameworks, Network services, virtual private network, distributed services
12	David P. Gilliam, John C. Kelly, Matt Bishop	Reducing Software Security Risk through an Integrated Approach.	WETICE	2000	DBLP DOI BibTeX RDF	Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing
12	Jeffrey L. Kretsch	Shuttle Radar Topography Mission Overview.	AIPR	2000	DBLP DOI BibTeX RDF
12	Savio N. Chau	Experience of Using COTS Components for Deep Space Missions.	HASE	1999	DBLP DOI BibTeX RDF
12	Gerald C. Gannod, Betty H. C. Cheng	A Formal Approach for Reverse Engineering: A Case Study.	WCRE	1999	DBLP DOI BibTeX RDF
12	J. Steven Hughes, Susan K. McMahon	The Planetary Data System - Distributed Inventory System.	ADL	1999	DBLP DOI BibTeX RDF
12	Ann E. Kelley Sobel	Security Analysis of Tramel.	HICSS	1999	DBLP DOI BibTeX RDF
12	Walt Truszkowski, Harold L. Hallock, James Kurien	Agent Technology from a NASA Perspective.	CIA	1999	DBLP DOI BibTeX RDF
12	Zhiwu Xie, Jun Yu, Jinyang Liu	Applying UML to Gas Turbine Engine Simulation.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	gas turbines, simulation, UML, Object-oriented analysis and design
12	Larry H. Matthies, Byron Chen, Jon Petrescu	Stereo Vision, Residual Image Processing and Mars Rover Localization.	ICIP (3)	1997	DBLP DOI BibTeX RDF
12	Paul Messina, Sharon Brunett, Dan M. Davis, Thomas D. Gottschalk, David W. Curkendall, L. Ekroot, Howard Jay Siegel	Distributed interactive simulation for synthetic forces.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	synthetic forces, battles, geographically distributed LANs, WANs, simulated entities, terrain information, database, digital simulation, interest management, distributed interactive simulation, processing capability, large-scale parallel computers
12	Charles K. Ames, Scott C. Burleigh, Stephen J. Mitchell	WWWorkflow: World Wide Web based Workflow.	HICSS (4)	1997	DBLP DOI BibTeX RDF
12	Steve A. Chien, Helen Mortensen	Automating Image Processing for Scientific Data Analysis of a Large Image Database.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	automated programming, image processing, artificial intelligence (AI), planning, Data analysis
12	Brian Wilcox	Robotic vehicles for planetary exploration.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	terrain sensing, Mobile robots, path planning, terrain modeling
12	Ware Myers	A JPL Report: AI Takes on Space Tasks.	IEEE Expert	1990	DBLP DOI BibTeX RDF
12	U. K. Gupta, Moonis Ali	LEADER - An integrated engine behavior and design analyses based real-time fault diagnostic expert system for space shuttle main engine (SSME).	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
12	Otto J. Horak	The Contribution of E. B. Fleissner and A. Figl for Today's Cryptography.	EUROCRYPT	1985	DBLP DOI BibTeX RDF

Displaying result #901 - #920 of 920 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10]