18429 search results - page 3336 / 3686 » Typing dynamic typing |
178
Voted
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
208
click to vote
PACT
2005
Springer
16 years 8 days ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
177
click to vote
PAM
2005
Springer
16 years 8 days ago
2005
Springer
— We have proposed a new TCP version, called ImTCP (Inline measurement TCP), in [1]. The ImTCP sender adjusts the transmission intervals of data packets, and then utilizes the ar...
173
click to vote
PET
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Encrypting traffic does not prevent an attacker from performing some types of traffic analysis. We present a straightforward traffic analysis attack against encrypted HT...
203
click to vote
PET
2005
Springer
16 years 8 days ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...