Sciweavers

1448 search results - page 61 / 290
» Deadlock Detection in Distributed Systems
Sort
View

Publication
147views
12 years 6 months ago
Rain or Snow Detection in Image Sequences through use of a Histogram of Orientation of Streaks
The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on ...
Jérémie Bossu, Nicolas Hautière and Jean-Philip...
INFOCOM
2010
IEEE
13 years 8 months ago
Malicious Hubs: Detecting Abnormally Malicious Autonomous Systems
—While many attacks are distributed across botnets, investigators and network operators have recently targeted malicious networks through high profile autonomous system (AS) de-...
Andrew J. Kalafut, Craig A. Shue, Minaxi Gupta
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
14 years 3 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
CARS
2004
13 years 11 months ago
Learning-based pulmonary nodule detection from multislice CT data
An automatic computer-aided detection system is developed for detecting pulmonary nodules from high resolution CT data. The system is based on the concept of machine learning. A ro...
Xiaoguang Lu, Guo-Qing Wei, Jian Zhong Qian, Anil ...
IPPS
2005
IEEE
14 years 3 months ago
Some Issues in Solving the Anomaly Detection Problem using Immunological Approach
Results of an experimental study of an anomaly detection system based on the paradigm of artificial immune systems (AISs) are presented. Network traffic data are mapped into ant...
Franciszek Seredynski, Pascal Bouvry