8959 search results - page 330 / 1792 » Composing aspects with aspects |
302
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
173
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
156
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract. A standard way of implementing Huffman's optimal code construction algorithm is by using a sorted sequence of frequencies. Several aspects of the algorithm are inves...
186
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Exploding health care demands and costs of aging and stressed populations necessitate the use of more in-home monitoring and personalized health care. Electronics hold great pr...
177
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of query containment for conjunctive queries with the safe negation property. Some necessary conditions for this problem are given. A part of the ...