1769 search results - page 1 / 354 » Choice in Dynamic Linking |
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
SODA
2008
ACM
13 years 6 months ago
2008
ACM
INFOCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
—Several models of user churn, resilience, and link lifetime have recently appeared in the literature [12], [13], [34], [35]; however, these results do not directly apply to clas...
IEEESP
2010
13 years 3 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
VTC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract—The IEEE 802.11 wireless LAN (WLAN) is a timetested technology, but it is still evolving towards even higher speeds and richer features. For multi-room IPTV delivery, wh...