2024 search results - page 167 / 405 » A Logic Based Approach for Dynamic Access Control |
136
Voted
CEFP
2005
Springer
15 years 9 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
208
Voted
CF
2011
ACM
14 years 3 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
109
Voted
CIMCA
2006
IEEE
15 years 9 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
203
Voted
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
Query optimization in data integration requires source coverage and overlap statistics. Gathering and storing the required statistics presents many challenges, not the least of wh...
128
Voted
IIR
2010
15 years 2 months ago
2010
In this paper we present a general purpose solution to Web content perusal by means of mobile devices, named Social Context-Aware Browser. This is a novel approach for the informa...