272 search results - page 37 / 55 » context 1999 |
METRICS
1999
IEEE
14 years 2 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
ESOP
1999
Springer
14 years 2 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
SP
1999
IEEE
14 years 2 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
In order for mobile agents to be accepted as a basic technology for enabling electronic commerce, proper security mechanisms must be developed. Hosts must be protected from malici...
FM
1999
Springer
14 years 2 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...