165 search results - page 9 / 33 » Type relaxed weaving |
85
Voted
RE
2007
Springer
15 years 5 months ago
2007
Springer
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
118
click to vote
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
The online discussion forum is the main mode of interaction for Web-based learning. Existing online instructional management systems contain primitive discussion tools that do lit...
102
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
MOC
1998
14 years 11 months ago
1998
A gaussian type quadrature formula, where the nodes are the zeros of Bessel functions of the first kind of order α ( (α) > −1), was recently proved for entire functions of ...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
With a growing number of works utilizing link information in enhancing document clustering, it becomes necessary to make a comparative evaluation of the impacts of different link ...