6527 search results - page 946 / 1306 » On Typing Information Flow |
214
click to vote
ESOP
2001
Springer
16 years 3 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
269
click to vote
SPATIALCOGNITION
2000
Springer
15 years 11 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
232
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
Due to the resource limitation in the data stream environment, it has been reported that answering user queries according to the wavelet synopsis of a stream is an essential abili...
232
click to vote
CVDB
2005
ACM
15 years 9 months ago
2005
ACM
The typical mode for querying in an image content-based information system is query-by-example, which allows the user to provide an image as a query and to search for similar imag...
198
click to vote
ELPUB
2008
ACM
15 years 9 months ago
2008
ACM
Background: Sharing data is a tenet of science, yet commonplace in only a few subdisciplines. Recognizing that a data sharing culture is unlikely to be achieved without policy gui...