18429 search results - page 450 / 3686 » Typing dynamic typing |
239
click to vote
DSS
2000
15 years 7 months ago
2000
Abstract. The simple model on which the Internet has operated, with all packets treated equally, and charges only for access links to the network, has contributed to its explosive ...
228
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
230
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
189
click to vote
GEOINFO
2004
15 years 9 months ago
2004
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...
162
click to vote
IJNSEC
2006
15 years 7 months ago
2006
Two possible types of attack (a replay attack and a type attack) on a key establishment protocol (mechanism 12) standardised in ISO/IEC 11770-2 are described and two solutions are...