Sciweavers

1090 search results - page 78 / 218
» A Replicated Monitoring Tool
Sort
View
CCGRID
2006
IEEE
14 years 1 months ago
IPMI-based Efficient Notification Framework for Large Scale Cluster Computing
The demand for an efficient fault tolerance system has led to the development of complex monitoring infrastructure, which in turn has created an overwhelming task of data and even...
Chokchai Leangsuksun, Tirumala Rao, Anand Tikoteka...
FORTE
2004
13 years 11 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
Prasad Naldurg, Koushik Sen, Prasanna Thati
CCS
2008
ACM
14 years 1 days ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
NAA
2004
Springer
178views Mathematics» more  NAA 2004»
14 years 3 months ago
Performance Optimization and Evaluation for Linear Codes
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
Pavel Tvrdík, Ivan Simecek
INTERACT
2003
13 years 11 months ago
Understanding Awareness Information
: People have a large amount of information that they wish to maintain awareness of, but yet forget to check or are too busy to check it on a regular basis. Examples of this inform...
Todd Miller