The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
In this paper we propose an FPGA implementation of a multi protocol Weighted Fair (WF) queuing algorithm able to handle variable length packets targeted for Packet Over Sonet (POS...
The Air Force Research Laboratory (AFRL) has been tasked by the National Institute of Justice to investigate voice stress analysis (VSA) technology and evaluate its effectiveness ...
Clifford S. Hopkins, Roy J. Ratley, Daniel S. Beni...
The widespread use of Grid technology and distributed compute power, with all its inherent benefits, will only be established if the use of that technology can be guaranteed effic...
Abstract. Although a number of solutions exist for subtasks of application deployment and monitoring in large-scale, distributed environments, few tools provide a unified framewor...
Jeannie R. Albrecht, Christopher Tuttle, Alex C. S...