Air Traac Management (ATM) of the future allows for the possibility of free ight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory connicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe connict resolution maneuvers. The method models ...

Many handy features are included in this word processor program. The program works off a menu displayed at the bottom of the screen, alleviating the need to memorize commands; on-screen printer and formatting commands are embedded in the body of the text. In addition, the program includes automatic "widow" and "orphan" protection, and it also comes with a print off/on option which enables the u...

With the growing deployment of host and network intrusion detection systems, managing reports from these systems becomes critically important. We present a probabilistic approach to alert correlation, extending ideas from multisensor data fusion. Features used for alert correlation are based on alert content that anticipates evolving IETF standards. The probabilistic approach provides a unified...