9162 search results - page 1485 / 1833 » System and User Data Complexity |
153
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
118
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
168
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
132
click to vote
HPDC
1995
IEEE
15 years 8 months ago
1995
IEEE
Most algorithms proposed for controlling traffic prior to entering ATM networks are based on static mechanisms. Such static control mechanisms do not account for the dynamics of ...
230
click to vote
DCAI
2008
15 years 6 months ago
2008
Abstract. Social assistance constitutes an increasing problem in developed countries, which can be considered from two dimensions: the home and the hospital frameworks. Anyway, mos...