165 search results - page 9 / 33 » Type relaxed weaving |
RE
2007
Springer
14 years 1 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...
HICSS
2002
IEEE
14 years 20 days 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...
LICS
2010
IEEE
13 years 6 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
13 years 7 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
13 years 7 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 ...