5722 search results - page 411 / 1145 » Dynamic inference control |
203
click to vote
IFIP
2004
Springer
16 years 23 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
210
Voted
RTSS
2003
IEEE
16 years 20 days ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
225
Voted
RTSS
2003
IEEE
16 years 20 days ago
2003
IEEE
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
184
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
207
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...