4211 search results - page 266 / 843 » Types as Abstract Interpretations |
156
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
123
click to vote
SPW
2001
Springer
15 years 10 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...
129
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...
157
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
162
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...