2880 search results - page 323 / 576 » Types are calling conventions |
181
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...
161
Voted
JNSM
2000
15 years 6 months ago
2000
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...
159
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
172
click to vote
ORDER
2002
15 years 6 months ago
2002
We determine the order dimension of the strong Bruhat order on finite Coxeter groups of types A, B and H. The order dimension is determined using a generalization of a theorem of D...
146
click to vote
PUC
2002
15 years 6 months ago
2002
: A Swedish sample of 36 people judged the similarities of 20 objects, primarily information appliance products and services sometimes called consumer electronics, but also some co...