13734 search results - page 176 / 2747 » Abstractions of data types |
153
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
111
click to vote
WCRE
1996
IEEE
15 years 8 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
135
click to vote
ANNPR
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...
167
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
112
click to vote
NIPS
2008
15 years 5 months ago
2008
From an information-theoretic perspective, a noisy transmission system such as a visual Brain-Computer Interface (BCI) speller could benefit from the use of errorcorrecting codes....