8828 search results - page 1270 / 1766 » Formal methods in practice |
217
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
172
click to vote
P2P
2006
IEEE
16 years 1 months ago
2006
IEEE
The idea of building query-oriented routing indices has changed the way of improving routing efficiency from the basis as it can learn the content distribution during the query r...
168
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
167
click to vote
VTC
2006
IEEE
2006
IEEE
Design and Implementation of Robust Time/Frequency Offset Tracking Algorithm for MIMO-OFDM Receivers
16 years 1 months ago
— In this paper, the robust time and frequency offset tracking algorithms and architecture for high throughput wireless local area network (WLAN) systems are presented. The desig...
208
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Recent research on computational modeling of visual attention has demonstrated that a bottom-up approach to identifying salient regions within an image can be applied to diverse a...