Sciweavers

3457 search results - page 141 / 692
» A Symbol Is Not a Symbol
Sort
View
118
Voted
SACMAT
2009
ACM
15 years 7 months ago
Symbolic reachability analysis for parameterized administrative role based access control
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C....
CODES
2008
IEEE
15 years 7 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
44
Voted
DATE
2008
IEEE
71views Hardware» more  DATE 2008»
15 years 7 months ago
Efficient Symbolic Simulation of Low Level Software
Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan...
108
Voted
ICC
2008
IEEE
108views Communications» more  ICC 2008»
15 years 7 months ago
Single-Symbol ML Decodable Distributed STBCs for Partially-Coherent Cooperative Networks
—Space-time block codes (STBCs) that are single-symbol decodable (SSD) in a co-located multiple antenna setting need not be SSD in a distributed cooperative communication setting...
Dheeraj Sreedhar, Ananthanarayanan Chockalingam, B...