1216 search results - page 172 / 244 » Hybrid type checking |
115
click to vote
CCS
1993
ACM
15 years 4 months ago
1993
ACM
NetCash is a framework that supports realtime electronic payments with provision of anonymity over an unsecure network. It is designed to enable new types of services on the Inter...
102
click to vote
OOGRAPHICS
1992
15 years 4 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
OOPSLA
1992
Springer
15 years 4 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...
116
click to vote
CSFW
2007
IEEE
15 years 3 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...
107
click to vote
EUSAI
2007
Springer
15 years 3 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...