Search results for "FAA"

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.	Ann. Oper. Res.	1994	DBLP DOI BibTeX RDF
26	Steen Silberg, Thorkil B. Rasmussen	FAA Certification of Ada Run-Time Systems.	Ada-Europe	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.	WADAS	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.	Int. CMG Conference	1988	DBLP BibTeX RDF
26	Valerio R. Hunt, Andres Zellweger	The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems.	Computer	1987	DBLP DOI BibTeX RDF
26	Jean-Marc Garot, Delbert Weathers, Thomas Hawker	Evaluating Proposed Architectures for the FAA's Advanced Automation System.	Computer	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.	FJCC	1987	DBLP BibTeX RDF
26	Christopher R. Spooner, A. Acampora, R. Regner	A simulation model of the FAA'S flight service automation system.	WSC	1985	DBLP DOI BibTeX RDF
17	Dean E. Bushey	Unmanned Aircraft Flights and Research at the United States Air Force Academy.	J. Intell. Robotic Syst.	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.	GECCO (Companion)	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.	iiWAS	2009	DBLP DOI BibTeX RDF
17	Andrew J. Kornecki, Brian Butka, Janusz Zalewski	Software Tools for Safety-Critical Systems According to DO-254.	Computer	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.	Cogn. Technol. Work.	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.	GECCO	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.	HICSS	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.	FSKD (3)	2007	DBLP DOI BibTeX RDF
17	Feisal Keblawi, Dick Sullivan	Applying the Common Criteria in Systems Engineering.	IEEE Secur. Priv.	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.	SIGAda	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.	DILS	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.	AsiaSim	2004	DBLP DOI BibTeX RDF
17	Stephen A. Del Greco	NCDC the "One Stop Shop" for All WSR-88D Level II Data Service.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
17	Todd J. Callantine	Air traffic controller agents.	AAMAS	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.	AIPR	2003	DBLP DOI BibTeX RDF
17	Richard L. Conn	Developing Software Engineers at the C-130J Software Factory.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	software engineers training, educating software professionals, C-130J Software Factory
17	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
17	Zhiwei Fu	Using Genetic Algorithms-Based Approach for Better Decision Trees: A Computational Study.	Discovery Science	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.	CADE	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.	VECPAR	2002	DBLP DOI BibTeX RDF
17	Chris W. Johnson 0001	Software Support for Incident Reporting Systems in Safety-Critical Applications.	SAFECOMP	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.	ESEC / SIGSOFT FSE	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.	IEEE Trans. Parallel Distributed Syst.	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.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
17	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	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.	HPDC	1996	DBLP DOI BibTeX RDF
17	Zhenyi Jin, A. Jefferson Offutt	Coupling-based Integration Testing.	ICECCS	1996	DBLP DOI BibTeX RDF
17	Tom Curley	An Approach To Benchmarking Ada Compilation Systems.	Ada-Europe	1991	DBLP DOI BibTeX RDF
17	Sowmyan Raman	Flight Mission Scenario Generation with Knowledge-based System.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	EMULA
17	Kurt F. Fischer	Software quality.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF