Sciweavers

3381 search results - page 284 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
SACMAT
2009
ACM
16 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
CATA
2003
15 years 8 months ago
Scheduling Imprecise Computations with Wind-up Parts
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
Hidenori Kobayashi, Nobuyuki Yamasaki, Yuichiro An...
UAI
2004
15 years 8 months ago
Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences
We present a new method for nonlinear prediction of discrete random sequences under minimal structural assumptions. We give a mathematical construction for optimal predictors of s...
Cosma Rohilla Shalizi, Kristina Lisa Shalizi
ECOI
2006
59views more  ECOI 2006»
15 years 6 months ago
Model-building with interpolated temporal data
Ecological data can be difficult to collect, and as a result, some important temporal ecological datasets contain irregularly sampled data. Since many temporal modelling technique...
Robert I. McKay, Tuan Hao Hoang, Naoki Mori, Nguye...
SOCIALCOM
2010
15 years 4 months ago
q-Anon: Rethinking Anonymity for Social Networks
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
Aaron Beach, Mike Gartrell, Richard Han