8959 search results - page 364 / 1792 » Composing aspects with aspects |
174
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The way we experience and evaluate interactive products develops over time. An exploratory study aimed at understanding how users form evaluative judgments during the first experi...
289
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
160
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
242
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The work performed by a publish/subscribe system can conceptually be divided into subscription processing and notification dissemination. Traditionally, research in the database a...
193
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...