Sciweavers

817 search results - page 120 / 164
» Malware behaviour analysis
Sort
View
IJISTA
2007
119views more  IJISTA 2007»
14 years 11 months ago
Online modelling based on Genetic Programming
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
Stephan M. Winkler, Hajrudin Efendic, Luigi del Re...
IJMTM
2007
147views more  IJMTM 2007»
14 years 11 months ago
Value chain modelling using system dynamics
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
Thomas Speller, Luis Rabelo, Albert Jones
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
14 years 10 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
INCDM
2010
Springer
138views Data Mining» more  INCDM 2010»
14 years 10 months ago
Learning Discriminative Distance Functions for Case Retrieval and Decision Support
The importance of learning distance functions is gradually being acknowledged by the machine learning community, and different techniques are suggested that can successfully learn ...
Alexey Tsymbal, Martin Huber, Shaohua Kevin Zhou
STTT
2010
115views more  STTT 2010»
14 years 10 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai