2290 search results - page 12 / 458 » Extensible Protected Types |
NDSS
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper presents the design and analysis of a multilayer protection scheme against denial-of-service (DoS) attacks in IP telephony enabled enterprise networks. While there are ...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Link protection schemes for WDM-based optical networks have been extensively researched. Most work to date has ignored the physical layer impairments (PLIs) that could be dominant ...
EDOC
2003
IEEE
14 years 25 days ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
ENTCS
2000
13 years 7 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
ENTCS
2008
13 years 7 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...