4323 search results - page 434 / 865 » Callback Implementations in C |
201
click to vote
TYPES
1994
Springer
15 years 11 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
163
click to vote
PARLE
1992
15 years 11 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
143
click to vote
SP
1989
IEEE
15 years 11 months ago
1989
IEEE
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
164
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Within the current Internet, autonomous ISPs implement bilateral agreements, with each ISP establishing agreements that suit its own local objective to maximize its profit. Peerin...
179
click to vote
HOPL
2007
15 years 10 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...