709 search results - page 81 / 142 » Type Checking in XOBE |
107
click to vote
OOPSLA
1992
Springer
15 years 5 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
137
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
119
Voted
EUSAI
2007
Springer
15 years 5 months ago
2007
Springer
Activity recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware computing. Most approaches for activity recognition focus on...
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
APWEB
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes HVEM-Grid, which is the cornerstone for tele-instrumentation infrastructure. The proposed architecture is mainly oriented for people whose primary work is to ge...