581 search results - page 107 / 117 » Translating dependency into parametricity |
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
ICDT
2010
ACM
14 years 7 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
VR
2009
IEEE
14 years 4 months ago
2009
IEEE
High resolution 2D video content in High Definition or higher resolutions has become widespread and video playback of such media in immersive virtual environments (VE) will be a ...
ICTAI
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
MIR
2010
ACM
14 years 4 months ago
2010
ACM
Typical tag recommendation systems for photos shared on social networks such as Flickr, use visual content analysis, collaborative filtering or personalization strategies to prod...