|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 145 occurrences of 134 keywords
|
|
|
Results
Found 920 publication records. Showing 920 according to the selection in the facets
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] |
|