464 search results - page 15 / 93 » Enjoy the Paper: Lexicology |
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
An identity based cryptosystem is a novel type of public cryptographic scheme in which the public keys of the users are their identities or strings derived from their identities. ...
IV
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we study the technologies that are available for interactive and cooperative 3D environments. In particular, we describe how state-of-the art videogame 3D engines ca...
107
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...