2024 search results - page 302 / 405 » A Logic Based Approach for Dynamic Access Control |
117
click to vote
DSOM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A framework for the autonomous management of clustered server systems called LAMA1 (Large-scale system’s Autonomous Management Agent) is proposed in this paper. LAMA is...
121
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
132
click to vote
ESSOS
2010
Springer
16 years 7 days ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
113
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
134
click to vote
KR
1992
Springer
15 years 7 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...