Sciweavers

8501 search results - page 276 / 1701
» Reactive process networks
Sort
View
ANCS
2009
ACM
15 years 4 months ago
SANS: a scalable architecture for network intrusion prevention with stateful frontend
Inline stateful and deep inspection for intrusion prevention is becoming more challenging due to the increase in both the volume of network traffic and the complexity of the analy...
Fei He, Yaxuan Qi, Yibo Xue, Jun Li
EAAI
2010
144views more  EAAI 2010»
15 years 1 months ago
Fault diagnosis of industrial systems by conditional Gaussian network including a distance rejection criterion
The purpose of this article is to present a method for industrial process diagnosis with Bayesian network, and more particularly with Conditional Gaussian Network (CGN). The inter...
Sylvain Verron, Teodor Tiplica, Abdessamad Kobi
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
WWW
2010
ACM
16 years 1 months ago
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...
Max Van Kleek, Brennan Moore, David R. Karger, Pau...
IWANN
2009
Springer
16 years 1 months ago
ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA
Abstract. ZARAMIT is an information system capable of fully automated phylogeny reconstruction. Methods have been tailored to mitochondrial DNA sequences, with focus on subproblem ...
Roberto Blanco, Elvira Mayordomo