Sciweavers

1459 search results - page 65 / 292
» An authorization model for temporal data
Sort
View
RTSS
1998
IEEE
15 years 8 months ago
The Time-Triggered Model of Computation
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
Hermann Kopetz
AAAI
2010
15 years 6 months ago
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
The current methods used to mine and analyze temporal social network data make two assumptions: all edges have the same strength, and all parameters are time-homogeneous. We show ...
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes
IJCNN
2006
IEEE
15 years 10 months ago
TempUnit: A bio-inspired neural network model for signal processing
– We have developed and tested a novel artificial neural network for the processing of temporal signals. The working of the units (TempUnit) is based on the mechanism of temporal...
Olivier F. Manette, Marc A. Maier
SACMAT
2004
ACM
15 years 10 months ago
X-GTRBAC admin: a decentralized administration model for enterprise wide access control
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
Rafae Bhatti, James Joshi, Elisa Bertino, Arif Gha...
FSTTCS
2010
Springer
15 years 1 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To