1090 search results - page 123 / 218 » A Replicated Monitoring Tool |
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
This paper describes the starting points of how to design and build tools to help individual users track and monitor their presence on the web from the standpoints of individual p...
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
SDM
2010
SIAM
13 years 10 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...