351 search results - page 30 / 71 » Formalisation and implementation of Access control models |
78
Voted
SSS
2009
Springer
15 years 5 months ago
2009
Springer
We present a simple algorithm that implements the Omega failure detector in the crash-recovery model. The algorithm is quiescent, i.e., eventually all the processes but the leader ...
SECON
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— While physical layer capture has been observed in real implementations of wireless devices which randomly accessing shared channels, fair rate control algorithms based ...
107
click to vote
IADIS
2003
15 years 1 months ago
2003
Hypermedia systems (whether web sites or not) should support multilevel policiesm, offering different views and manipulation abilities of the same information to users with differ...
114
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
100
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...