1150 search results - page 75 / 230 » Specifying Information-Flow Controls |
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
MMB
1997
Springer
14 years 2 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
TDSC
2008
13 years 10 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...