85 search results - page 8 / 17 » Static Dependent Types for First Class Modules |
DBPL
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
ICC
2007
IEEE
2007
IEEE
IEEE 802.11b Complementary Code Keying and Complementary Signals Derived from Biorthogonal Sequences
14 years 1 months ago
—Two classes of complementary signal sets are compared in terms of their complementary properties and their error probabilities for channels with thermal noise and multipath inte...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
List-based priority schedulers have long been one of the dominant classes of static scheduling algorithms. Such heuristics have been predominantly based around the "critical ...
DOCENG
2004
ACM
14 years 27 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...