3458 search results - page 310 / 692 » Abstracting Control |
136
click to vote
WEBI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper argues that the World Wide Web could be regarded not only as an information resource but also as a dynamic, multilingual, least controlled, easy to access and ...
136
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—We investigate the problem of providing a fair bandwidth allocation to each of flows that share the outgoing link of a congested router. The buffer at the outgoing link...
116
click to vote
DDEP
2000
Springer
15 years 8 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
118
click to vote
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
132
click to vote
ELP
1993
15 years 8 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...