1891 search results - page 82 / 379 » Interactive Analysis of Computer Crimes |
CASSIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
CHI
2004
ACM
14 years 3 months ago
2004
ACM
In this paper we describe a software tool that allows investigators to make comparisons across different online forums and media by analyzing word counts in userspecified categori...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...
MHCI
2005
Springer
14 years 3 months ago
2005
Springer
This paper includes a review of mobile applications used in museum environments, focusing on the notion of context and its constituent dimensions. Museums are a representative exa...
DEXA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...