948 search results - page 105 / 190 » Analysis of SITA policies |
DAC
2002
ACM
16 years 26 days ago
2002
ACM
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the exec...
180
Voted
POPL
2006
ACM
16 years 6 days ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
105
click to vote
TRUST
2009
Springer
15 years 6 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
102
click to vote
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...