307 search results - page 51 / 62 » Towards Generic Refactoring |
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
This paper proposes a model for integrating a higher level Semantic Grid Middleware with Web Service Resource Framework (WSRF) that extends the prototype presented in [1] informed ...
PAM
2005
Springer
15 years 3 months ago
2005
Springer
At present, link layer topology discovery methodologies rely on protocols that are not universally available, such as SNMP. Such methodologies can only be applied to a subset of al...
118
click to vote
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
112
click to vote
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a dynamic and adaptive variable ordering heuristic which guides systematic search toward inconsistent or hard parts of a Constraint Satisfaction Problem (...