Sciweavers

7393 search results - page 1055 / 1479
» Synthesis-for-testability using transformations
Sort
View
ML
2010
ACM
155views Machine Learning» more  ML 2010»
15 years 3 months ago
On the infeasibility of modeling polymorphic shellcode - Re-thinking the role of learning in intrusion detection systems
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
Yingbo Song, Michael E. Locasto, Angelos Stavrou, ...
SMC
2010
IEEE
132views Control Systems» more  SMC 2010»
15 years 3 months ago
Selection of SIFT feature points for scene description in robot vision
This paper presents a method for selection of SIFT(Scale-Invariant Feature Transform) feature points using OC-SVM (One Class-Support Vector Machines). We proposed the method for au...
Yuya Utsumi, Masahiro Tsukada, Hirokazu Madokoro, ...
ANTSW
2010
Springer
15 years 2 months ago
Functional Blueprints: An Approach to Modularity in Grown Systems
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
Jacob Beal
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 2 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
HVEI
2009
15 years 2 months ago
Color rendering indices in global illumination methods
Human perception of material colors depends heavily on the nature of the light sources that are used for illumination. One and the same object can cause highly different color impr...
David Geisler-Moroder, Arne Dür
« Prev « First page 1055 / 1479 Last » Next »