5900 search results - page 42 / 1180 » Dependable Systems |
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
ESORICS
2006
Springer
14 years 14 days 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...
P2P
2002
IEEE
14 years 1 months ago
2002
IEEE
There is an increasing interest in using P2P as a basis for software systems. However, by their very nature, achieving dependability within a P2P system can be difficult. This pap...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...