Sciweavers

3161 search results - page 537 / 633
» Documenting framework behavior
Sort
View
WWIC
2010
Springer
193views Communications» more  WWIC 2010»
15 years 6 months ago
0day Anomaly Detection Made Possible Thanks to Machine Learning
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
Philippe Owezarski, Johan Mazel, Yann Labit
140
Voted
DMSN
2007
ACM
15 years 6 months ago
Declarative temporal data models for sensor-driven query processing
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
Yanif Ahmad, Ugur Çetintemel
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 6 months ago
Uniform sampling of local pareto-optimal solution curves by pareto path following and its applications in multi-objective GA
Although multi-objective GA (MOGA) is an efficient multiobjective optimization (MOO) method, it has some limitations that need to be tackled, which include unguaranteed uniformity...
Ken Harada, Jun Sakuma, Shigenobu Kobayashi, Isao ...
GROUP
2007
ACM
15 years 6 months ago
A field study of community bar: (mis)-matches between theory and practice
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
Natalia A. Romero, Gregor McEwan, Saul Greenberg
FOSSACS
2009
Springer
15 years 6 months ago
On Omega-Languages Defined by Mean-Payoff Conditions
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weis...