1700 search results - page 105 / 340 » Specifying and implementing refactorings |
134
Voted
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
164
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
152
Voted
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
138
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
128
click to vote
HT
1997
ACM
15 years 8 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...