Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
: Classic IR (information retrieval) is inherently predicated on users searching for information, the socalled "information need". But the need behind a web search is oft...
Many modern database applications require content-based similarity search capability in numeric attribute space. Further, users' notion of similarity varies between search se...
Information technology is one potential object of responsibility as we know from texts about computer ethics, information ethics etc. This article aims to demonstrate that the eth...
: In the future, we are likely to see a tremendous rise in mobile computing and communications as ubiquitous applications incorporate multimedia information. These mobile multimedi...