55 search results - page 7 / 11 » ecoopw 1999 |
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
Security is a fundamental precondition for the acceptance of mobile agent systems. In this paper we discuss protocols to improve agent security by distributing critical data and op...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...