CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract- In order to prevent detection and evade signature-based scanning methods, which are normally exploited by antivirus softwares, metamorphic viruses use several various obf...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
: Much of the current theory of networked control systems uses simple point-to-point communiodels as an abstraction of the underlying network. As a result, the controller has very ...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We study the complexity of rewrite systems shown terminating via the dependency pair framework using processors for reduction pairs, dependency graphs, or the subterm criterion. T...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We develop a new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman’s Lemma. This leads to tight multiply-recursive upper bounds that re...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
CORR
2011
Springer
13 years 2 months ago
2011
Springer
