248 search results - page 31 / 50 » Authentication Primitives and Their Compilation |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
We describe how reachability-based orthogonal persistence can be supported even in uncooperative implementations of languages such as C++ and Modula-3, and without modification t...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Thread migration is established as a mechanism for achieving dynamic load sharing. However, fine-grained migration has not been used due to the high thread and messaging overheads...