1411 search results - page 270 / 283 » Interactive Coding for Interactive Proofs |
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
CARDIS
2000
Springer
15 years 2 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
WACC
1999
ACM
15 years 1 months ago
1999
ACM
Electronic conversations often seem less polite than spoken conversations. The usual explanation for this is that people who are not physically copresent become depersonalized and...
109
Voted
ICDCS
1999
IEEE
15 years 1 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
ECOOP
1999
Springer
15 years 1 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...