2024 search results - page 175 / 405 » A Logic Based Approach for Dynamic Access Control |
127
click to vote
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
141
Voted
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
The performance of Web servers and application servers is a crucial factor for the success of the underlying business activity. Current commercial servers (such as Apache and Micr...
137
Voted
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
This study addresses the general problem of efficient resource management in wireless networks with arbitrary timevarying topologies. Communication channels are assumed to generall...
128
click to vote
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...
111
click to vote
COR
2008
15 years 3 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...