2290 search results - page 100 / 458 » Extensible Protected Types |
102
click to vote
TYPES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
104
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
96
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Digital Rights Management (DRM) technology ensures protection of rights on distributed music over the Internet. Existing DRM systems emphasize the protection on Businessto-Consume...
98
Voted
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
— Secure Shell (SSH) tunnels are commonly used to provide two types of privacy protection to clear-text application protocols. First and foremost, they aim at protecting the priv...
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...