2596 search results - page 411 / 520 » Gradual Typing for Objects |
134
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
140
click to vote
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
A major challenge in Metacomputing Systems (Computational Grids) is to effectively use their shared resources, such as compute cycles, memory, communication network, and data repo...
115
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we develop methods to rapidly remove rough features from irregularly triangulated data intended to portray a smooth surface. The main task is to remove undesirable ...
153
Voted
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
The fast growth of multimedia information in image and video databases has triggered research on efficient retrieval methods. This paper deals with structural queries, a type of c...
146
Voted
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The main objective of the IBM Grand Central Station (GCS) is to gather information of virtually any type of formats (text, data, image, graphics, audio, video) from the cyberspace...