Info
Access control and privacy in large distributed systems / / Barry M. Leiner, Matt Bishop
| Access control and privacy in large distributed systems / / Barry M. Leiner, Matt Bishop |
| Autore | Leiner B (Barry) |
| Pubbl/distr/stampa | Moffett Field, CA : , : The Research Institute for Advanced Computer Science, NASA Ames Research Center, , March 1986 |
| Descrizione fisica | 1 online resource (16 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Access control
Computer systems programs |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910716628203321 |
Leiner B (Barry)
|
||
| Moffett Field, CA : , : The Research Institute for Advanced Computer Science, NASA Ames Research Center, , March 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced networks in motion mobile sensorweb [[electronic resource] /] / William D. Ivancic, David H. Stewart
| Advanced networks in motion mobile sensorweb [[electronic resource] /] / William D. Ivancic, David H. Stewart |
| Autore | Ivancic William D |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] |
| Descrizione fisica | 1 online resource (9 pages) : color illustrations |
| Altri autori (Persone) | StewartDavid H |
| Collana | NASA/TM |
| Soggetto topico |
Field tests
Computer systems programs Computer networks Scanners Deployment Mobile communication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910700977103321 |
|
Ivancic William D
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Air traffic control improvement using prioritized CSMA / / Daryl C. Robinson
| Air traffic control improvement using prioritized CSMA / / Daryl C. Robinson |
| Autore | Robinson Daryl C. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , February 2001 |
| Descrizione fisica | 1 online resource (7 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Aeronautics
Air traffic control Computer systems programs Carrier sense multiple access Simulation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Air traffic control improvement using prioritized carrier sense multiple access |
| Record Nr. | UNINA-9910706578203321 |
|
Robinson Daryl C.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , February 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis of data from NASA B-57B gust gradient program [[electronic resource] ] : final report / / by Walter Frost ... [and others]
| Analysis of data from NASA B-57B gust gradient program [[electronic resource] ] : final report / / by Walter Frost ... [and others] |
| Pubbl/distr/stampa | Tullahoma, Tenn. : , : Atmospheric Science Division, University of Tennessee Space Institute |
| Descrizione fisica | 1 online resource (x, 68 pages, 420 unnumbered pages) : illustrations |
| Altri autori (Persone) | FrostW |
| Collana | [NASA contractor report] |
| Soggetto topico |
Aircraft control
Autocorrelation Computer systems programs Gusts Landing Statistical analysis Takeoff |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Analysis of data from NASA B-57B gust gradient program |
| Record Nr. | UNINA-9910701904503321 |
| Tullahoma, Tenn. : , : Atmospheric Science Division, University of Tennessee Space Institute | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated support requirement system : user's guide for nondata entry personnel / / John E. Maryland
| Automated support requirement system : user's guide for nondata entry personnel / / John E. Maryland |
| Autore | Maryland John E., Jr. |
| Pubbl/distr/stampa | John F. Kennedy Space Center, [FL] : , : National Aeronautics and Space Administration, John F. Kennedy Space Center, , March 1985 |
| Descrizione fisica | 1 online resource (66 unnumbered pages) |
| Collana | NASA/TM |
| Soggetto topico |
Computers
Hardware Computer systems programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Automated support requirement system |
| Record Nr. | UNINA-9910715230503321 |
|
Maryland John E., Jr.
|
||
| John F. Kennedy Space Center, [FL] : , : National Aeronautics and Space Administration, John F. Kennedy Space Center, , March 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Battery data MI importer template quick start guide / / Laurie H. Levinson
| Battery data MI importer template quick start guide / / Laurie H. Levinson |
| Autore | Levinson Laurie H. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , October 2017 |
| Descrizione fisica | 1 online resource (v, 33 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Computer systems programs
Data bases Graphical user interface Information management Templates |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Battery data materials intelligence importer template quick start guide |
| Record Nr. | UNINA-9910706785103321 |
|
Levinson Laurie H.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , October 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CDC to Cray FORTRAN : conversion manual / / Charlotte McGary, Donna, Diebert
| CDC to Cray FORTRAN : conversion manual / / Charlotte McGary, Donna, Diebert |
| Autore | McGary Charlotte |
| Pubbl/distr/stampa | [Moffett Field, California?] : , : Ames Research Center, , October 1983 |
| Descrizione fisica | 1 online resource (19 pages) |
| Collana | NASA/CR |
| Soggetto topico |
FORTRAN
Computer systems programs CDC 7600 computer Computer programming Data storage |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CDC to Cray FORTRAN |
| Record Nr. | UNINA-9910709658503321 |
|
McGary Charlotte
|
||
| [Moffett Field, California?] : , : Ames Research Center, , October 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Defining and reasoning about model-based safety analysis : a review / / Minghui Sun, Cody H. Fleming, and Milena Milich
| Defining and reasoning about model-based safety analysis : a review / / Minghui Sun, Cody H. Fleming, and Milena Milich |
| Autore | Sun Minghui |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , March 2021 |
| Descrizione fisica | 1 online resource (iii, 41 pages) : illustrations (some color) |
| Collana | NASA/CR |
| Soggetto topico |
Computer systems programs
Models Safety |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Defining and reasoning about model-based safety analysis |
| Record Nr. | UNINA-9910716779603321 |
|
Sun Minghui
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , March 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of autonomous aerobraking, phase 2 / / Daniel G. Murri
| Development of autonomous aerobraking, phase 2 / / Daniel G. Murri |
| Autore | Murri Daniel G. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2013 |
| Descrizione fisica | 1 online resource (97 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Aerobraking
Algorithms Applications programs (computers) Autonomy Computer systems programs Decision making Deep Space Network |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705296603321 |
|
Murri Daniel G.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An empirical study of flight control software reliability [[electronic resource] /] / Janet R. Dunham, John L. Pierce
| An empirical study of flight control software reliability [[electronic resource] /] / Janet R. Dunham, John L. Pierce |
| Autore | Dunham J. R (Janet Rose), <1954-> |
| Pubbl/distr/stampa | Research Triangle Park, N.C. : , : Software Research and Development Center for Digital Systems Research, Research Triangle Institute |
| Descrizione fisica | 1 online resource (III, 40 pages) : illustrations |
| Altri autori (Persone) | PierceJohn L |
| Collana | NASA contractor report |
| Soggetto topico |
Computer systems programs
Flight control Pitch (inclination) Reliability analysis Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701903103321 |
|
Dunham J. R (Janet Rose), <1954->
|
||
| Research Triangle Park, N.C. : , : Software Research and Development Center for Digital Systems Research, Research Triangle Institute | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
