31387 search results - page 457 / 6278 » Abstracts |
183
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
175
click to vote
JNSM
2000
15 years 7 months ago
2000
Abstract-A mechanism for the estimation of the available bandwidth between two end-points of a best-effort network is presented. The estimation is obtained by a simple statistical ...
211
click to vote
CONSTRAINTS
1998
15 years 7 months ago
1998
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
188
click to vote
CACM
1999
15 years 7 months ago
1999
uire an abstraction layer, without paying the performance penalty paid by microkernels. By allowing for kernel modules, hardware-specific code can often be confined to a module, ke...
171
click to vote
IJMMS
1998
15 years 7 months ago
1998
s the abstracted cognitive behaviours of the controllers and their tools in performingw the traffic management task. Taken together, the models provide a statement of worksystem pe...