2957 search results - page 453 / 592 » Code analysis and CS-XML |
130
click to vote
ESE
2006
15 years 4 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
152
click to vote
TIFS
2008
15 years 4 months ago
2008
Ordered channels, such as those provided by Internet protocol and transmission control protocol protocols, rely on sequence numbers to recover from packet reordering due to network...
147
click to vote
TIT
2008
15 years 4 months ago
2008
Abstract--Cooperative transmission protocols over fading channels are based on a number of relaying nodes to form virtual multiantenna transmissions. Diversity provided by these te...
142
click to vote
PR
2000
2000
A region-level motion-based graph representation and labeling for tracking a spatial image partition
15 years 4 months ago
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
151
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...