26071 search results - page 407 / 5215 » Making |
249
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
164
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monoli...
148
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we suggest the Multibook approach how the gap between adaptivity and readability can be diminished. We show how a knowledge base has to be described by meta...
215
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
We describe our experiences designing and using AntWorld, a tool developed to make it easier for the members of a common-interest user group to collaborate in searching the web. It...
113
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In the past few years there have been a number of proposals for mechanisms for negotiation between agents that make use of argumentation. These proposals have largely bee...