15421 search results - page 317 / 3085 » Dependability |
179
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
168
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Static compilers use profiling to predict run-time program behavior. Generally, this requires multiple input sets to capture wide variations in run-time behavior. This is expensiv...
178
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Trust-management systems address the authorization problem in distributed systems. They offer several advantages over other approaches, such as support for delegation and...
162
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...