2740 search results - page 88 / 548 » Typing the Specialization Interface |
101
Voted
NOSSDAV
2010
Springer
15 years 2 months ago
2010
Springer
Placeshifting systems stream videos from the home to a single remote user using the limited upstream capacity of the home broadband link. We analyze the behavior of two placeshift...
PUC
2002
15 years 11 days ago
2002
We describe the design process of an affective control toy, named SenToy, used to control a synthetic character in a computer game. SenToy allows players1 to influence the emotion...
106
click to vote
IFL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
72
Voted
ICALP
1990
Springer
15 years 4 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
75
Voted
ICN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...