This paper describes two techniques that improve through-put in an ad hoc network in the presence of nodes that agree to forward packets but fail to do so. To mitigate this prob-lem, we propose categorizing nodes based upon their dynam-ically measured behavior. We use a watchdog that identifies

In this paper, we ask if the traditional relational query acceleration techniques of summary tables and covering indexes have analogs for branching path expression queries over tree- or graph-structured XML data. Our answer is yes-- the forward-and-backward index already proposed in the literature

Fixing runtime bugs in long running programs using tracing based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execution fast forward-ing technique that makes it feasible. While a naive solution is to divide the entire execution

argue that the GoF pattern catalog classifies de-sign patterns in the forward-engineering sense; our reclas-sification is better suited for reverse engineering. Our ap-proach uses lightweight static program analysis techniques to capture program intent. This paper also describes our tool, PINOT

-back routing protocols by only forward-ing routing request to a neighbor that is known to be able or potentially be able to meet the QoS requirement. We also describe how we can adjust routing overhead by bounding the number of flooding or crank-back trials with this technique. More detailed analysis

ing the Application Model In order to forward engineer to a GUI, the designer must understand the model of the application being reengineered from a user interface perspective. This includes identifying data entities and actions that are involved in the user interface, as well as relationships

Abstract—The iterative Born method is an inverse tech-nique that has been used successfully in ultrasound imag-ing. However, the calculation cost of the standard iterative Born method is high, and parallel computation is limited to the forward problem. In this work, two methods are in

Signature-based tools such as network intrusion detec-tion systems are widely used to protect critical systems. Au-tomatic signature generation techniques are needed to en-able these tools due to the speed at which new vulnera-bilities are discovered. In particular, we need automatic techniques

Abstract—High-resolution forward-looking sonars are becom-ing a tool of choice for exploring underwater environments under low visibility conditions. Their imagery can be mosaiced to obtain a global overview of submerged areas of interest and the spatial arrangement of different target features

of static variable orderings with forward check-ing. We also show the effectiveness of maintaining arc consistency (MAC) in solving AI planning problems so formulated. In addition, we present an improvement to the MAC algorithm that is not described in the CSP literature. The improvement to MAC uses