|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 35 keywords
|
|
|
Results
Found 241 publication records. Showing 238 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Leone C. Monticone, George Funk |
Application of the facility location problem to the problem of locating concentrators on an FAA microwave system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 50(1), pp. 437-454, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Steen Silberg, Thorkil B. Rasmussen |
FAA Certification of Ada Run-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings, pp. 489-498, 1994, Springer, 3-540-58822-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Mary L. Jones, Richard A. Kowalski, Bruce A. Siebenthall |
Use of the software capability evaluation in the FAA's microwave landing system procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Ninth Washington Ada Symposium on Ada - Empowering Software Users and Developers, WADAS 1992, McLean, Virginia, USA, 1992, pp. 75-85, 1992, ACM, 978-0-89791-487-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Eric W. Brehm, Shin-Sun Chow, Robert T. Goettge |
Measurement and Prediction of Computer Performance at the FAA's en Route Air Traffic Control Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. CMG Conference ![In: 14th International Computer Measurement Group Conference, Dallas, Texas, USA, December 12-16, 1988, Proceedings, pp. 317-320, 1988, Computer Measurement Group. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Valerio R. Hunt, Andres Zellweger |
The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 20(2), pp. 19-32, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Marc Garot, Delbert Weathers, Thomas Hawker |
Evaluating Proposed Architectures for the FAA's Advanced Automation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 20(2), pp. 33-45, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | A. Zellweger |
FAA's advanced automation system: strategies for achieving safe, highly available and extensible air traffic control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FJCC ![In: Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, pp. 80-84, 1987, ACM, 0-8186-0811-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Christopher R. Spooner, A. Acampora, R. Regner |
A simulation model of the FAA'S flight service automation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 17th conference on Winter simulation, WSC 1985, San Francisco, CA, USA, December 11-13, 1985, pp. 465-475, 1985, ACM, 0-911801-07-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Dean E. Bushey |
Unmanned Aircraft Flights and Research at the United States Air Force Academy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(1-3), pp. 79-85, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unmanned aircraft, Air force, Flight, Airspace, Education, Research, UAV, UAS |
17 | Adrian K. Agogino |
Evaluating evolution and monte carlo for controlling air traffic flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 1957-1962, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, evolution, air traffic control |
17 | Madhu Lata Goyal, Guangquan Zhang 0001 |
Using attribute and attitude assessment for bidding in automated auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 380-384, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andrew J. Kornecki, Brian Butka, Janusz Zalewski |
Software Tools for Safety-Critical Systems According to DO-254. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(12), pp. 112-115, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Philip J. Smith, Amy L. Spencer, Charles E. Billings |
Strategies for designing distributed systems: case studies in the design of an air traffic management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 9(1), pp. 39-49, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
traffic flow management, Computer-supported collaborative work, Distributed work, cooperative problem-solving, air traffic management, decision support tools |
17 | Adrian K. Agogino, Kagan Tumer |
Evolving distributed agents for managing air traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1888-1895, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multiagent systems, evolution, air traffic control |
17 | Marc Daumas, David R. Lester |
Stochastic Formal Methods: An Application to Accuracy of Numeric Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 262, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Chao Zhang, Cunbao Ma, Dong Song, Wei Tian |
An Entropy-Based Fuzzy Time Series Method for Forecasting Airport Passenger Throughput. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 3, pp. 509-513, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Feisal Keblawi, Dick Sullivan |
Applying the Common Criteria in Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 4(2), pp. 50-55, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
protection profiles, aviation security, software engineering, requirements analysis, systems engineering, requirements specifications, security engineering, Common Criteria |
17 | Drasko M. Sotirovski |
Time horizon in distributed object societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 71-74, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
availability through software replication |
17 | Kwangmin Choi, Jeong-Hyeon Choi, Amit Saple, Zhiping Wang, Jason Lee, Sun Kim |
PLATCOM: Current Status and Plan for the Next Stages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, Second InternationalWorkshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005, Proceedings, pp. 300-304, 2005, Springer, 3-540-27967-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Sugjoon Yoon, Ji-Young Kong, Kang-Su Kim, Suk-Kyung Lee, Moon-Sang Kim |
Derivation of Flight Characteristics Data of Small Airplanes Using Design Software and Their Validation by Subjective Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 450-457, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Stephen A. Del Greco |
NCDC the "One Stop Shop" for All WSR-88D Level II Data Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Mass Storage Systems ![In: 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, MSS 2003, San Diego, California, USA, April 7-10, 2003, pp. 110-, 2003, IEEE Computer Society, 0-7695-1914-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Todd J. Callantine |
Air traffic controller agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 952-953, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
agents, human error, air traffic control, beliefs |
17 | M. Pauli, M. C. Ertem, E. Heidhausen |
Quick Response Airborne Deployment of Viper Muzzle Flash Detection and Location System During DC Sniper Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 32nd Applied Image Pattern Recognition Workshop (AIPR 2003), Image Data Fusion, 15-17 October 2003, Washington, DC, USA, Proceedings, pp. 221-225, 2003, IEEE Computer Society, 0-7695-2029-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Richard L. Conn |
Developing Software Engineers at the C-130J Software Factory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(5), pp. 25-29, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software engineers training, educating software professionals, C-130J Software Factory |
17 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zhiwei Fu |
Using Genetic Algorithms-Based Approach for Better Decision Trees: A Computational Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 390-397, 2002, Springer, 3-540-00188-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 |
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 290-294, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Anirudh Modi, Lyle N. Long, Paul E. Plassmann |
Real-Time Visualization of Wake-Vortex Simulations Using Computational Steering and Beowulf Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks, pp. 464-478, 2002, Springer, 3-540-00852-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Chris W. Johnson 0001 |
Software Support for Incident Reporting Systems in Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 96-106, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese |
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 127-145, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Popp, Krishna R. Pattipati, Yaakov Bar-Shalom, Reda A. Ammar |
Shared-Memory Parallelization of the Data Association Problem in Multitarget Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(10), pp. 993-1005, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Air traffic surveillance, Interacting Multiple Model (IMM) estimator, shared-memory MIMD multiprocessor, assignment problem, data association, multitarget tracking |
17 | Robert N. Charette |
Large-Scale Project Management Is Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(4), pp. 110-117, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Mats Per Erik Heimdahl |
Experiences and Lessons from the Analysis of TCAS II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 79-83, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Popp, Krishna R. Pattipati, Yaakov Bar-Shalom, Richard R. Gassner |
Multitarget Tracking Algorithm Parallelization for Distributed-Memory Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 412-421, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Zhenyi Jin, A. Jefferson Offutt |
Coupling-based Integration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 10-17, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Tom Curley |
An Approach To Benchmarking Ada Compilation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings, pp. 87-108, 1991, Springer, 3-540-54092-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Sowmyan Raman |
Flight Mission Scenario Generation with Knowledge-based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 1) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988 - Volume 1, pp. 341-346, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
EMULA |
17 | Kurt F. Fischer |
Software quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1980 National Computer Conference, 19-22 May 1980, Anaheim, California, USA, pp. 755, 1980, AFIPS Press, 978-1-4503-7923-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #238 of 238 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|