Sciweavers

2655 search results - page 7 / 531
» Event Systems and Access Control
Sort
View
RTSS
1993
IEEE
13 years 11 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 7 months ago
Spectral efficiency and optimal medium access control of random access systems over large random spreading CDMA
This paper analyzes the spectral efficiency as a function of medium access control (MAC) for large random spreading CDMA random access systems that employ a linear receiver. It is ...
Yi Sun
ACSAC
2006
IEEE
14 years 1 months ago
A Study of Access Control Requirements for Healthcare Systems Based on Audit Trails from Access Logs
In healthcare, role-based access control systems are often extended with exception mechanisms to ensure access to needed informationeven when the needs don’t followthe expected ...
Lillian Røstad, Ole Edsberg
HYBRID
2007
Springer
14 years 1 months ago
Case Studies in Event-Driven Control
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
J. H. Sandee, W. P. M. H. Heemels, P. P. J. van de...