709 search results - page 81 / 142 » Type Checking in XOBE |
OOPSLA
1992
Springer
14 years 28 days 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...
CSFW
2007
IEEE
14 years 24 days 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...
EUSAI
2007
Springer
14 years 23 days 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
14 years 23 days 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
14 years 18 days 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...