Sciweavers

2400 search results - page 245 / 480
» Systems Failures
Sort
View
CONCUR
2005
Springer
15 years 8 months ago
Timed Spi-Calculus with Types for Secrecy and Authenticity
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
Christian Haack, Alan Jeffrey
VLDB
2005
ACM
112views Database» more  VLDB 2005»
15 years 8 months ago
REED: Robust, Efficient Filtering and Event Detection in Sensor Networks
This paper presents a set of algorithms for efficiently evaluating join queries over static data tables in sensor networks. We describe and evaluate three algorithms that take adv...
Daniel J. Abadi, Samuel Madden, Wolfgang Lindner
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
15 years 7 months ago
Designed -in-diagnostics: A new optical method
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
Keneth R. Wilsher
AC
2003
Springer
15 years 7 months ago
The Surprising Power of Epidemic Communication
We suggest that a combination of randomization and gossip communication can be used to overcome scalability barriers that limit the utility of many technologies for distributed sys...
Kenneth P. Birman
KDD
1998
ACM
212views Data Mining» more  KDD 1998»
15 years 6 months ago
Learning to Predict Rare Events in Event Sequences
Learning to predict rare events from sequences of events with categorical features is an important, real-world, problem that existing statistical and machine learning methods are ...
Gary M. Weiss, Haym Hirsh