6527 search results - page 1120 / 1306 » On Typing Information Flow |
213
click to vote
JNSM
2000
15 years 7 months ago
2000
In this paper, we consider wide-area backbone networks where multiple connection-oriented guaranteed services with differing bandwidth/flow requirements are offered. Specifically,...
229
click to vote
KAIS
2000
15 years 7 months ago
2000
To use graphics efficiently in an automatic report generation system, one has to model messages and how they go from the writer (intention) to the reader (interpretation). This pap...
204
click to vote
PUC
2000
15 years 7 months ago
2000
As part of the Bristol Wearable Computing Initiative we are exploring location sensing systems suitable for use with Wearable Computing. In this paper we present our ndings, and in...
199
click to vote
IJCIA
2002
15 years 7 months ago
2002
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
202
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...