Sciweavers

29147 search results - page 38 / 5830
» System Modeling Resurrected
Sort
View
ML
2010
ACM
155views Machine Learning» more  ML 2010»
14 years 8 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, ...
FAST
2009
14 years 7 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 1 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
NPL
2002
117views more  NPL 2002»
14 years 9 months ago
Invariant Recognition of Spatio Temporal Patterns in The Olfactory System Model
This paper presents a model of a network of integrate-and-fire neurons with time delay weights, capable of invariant spatio-temporal pattern recognition. Spatio-temporal patterns a...
Mykola Lysetskiy, Andrzej Lozowski, Jacek M. Zurad...
TFS
2008
94views more  TFS 2008»
14 years 9 months ago
Hierarchical Fuzzy CMAC for Nonlinear Systems Modeling
Abstract--Since the fuzzy cerebellar model articulation controller (FCMAC) uses linguistic variables, it is highly intuitive and easily comprehended. Despite the FCMAC's good ...
Wen Yu, Floriberto Ortiz Rodriguez, Marco A. Moren...