Sciweavers

180 search results - page 35 / 36
» Causation and Causal Conditionals
Sort
View
ICAC
2009
IEEE
14 years 1 days ago
AdaptGuard: guarding adaptive systems from instability
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
Jin Heo, Tarek F. Abdelzaher
ESEM
2009
ACM
13 years 11 months ago
Using security metrics coupled with predictive modeling and simulation to assess security processes
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...
Yolanta Beres, Marco Casassa Mont, Jonathan Griffi...
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
13 years 10 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
ICPP
1999
IEEE
13 years 9 months ago
An Offline Algorithm for Dimension-Bound Analysis
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
Paul A. S. Ward
WCE
2007
13 years 6 months ago
The Dynamic Spatial Disaggregation Approach: A Spatio-Temporal Modelling of Crime
— The spatio-temporal modelling and forecasting of incidences of crimes have now become a routine part of crime prevention operations. However, obtaining reliable forecasts for c...
Christian Ivaha, Hasan Al-Madfai, Gary Higgs, J. A...