2024 search results - page 142 / 405 » A Logic Based Approach for Dynamic Access Control |
122
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
139
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
128
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
The present paper deals with dynamic resource management based on quantized channel state information (CSI) for multi-carrier cognitive radio networks comprising primary and secon...
130
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
153
Voted
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...