Sciweavers

504 search results - page 14 / 101
» Categories of digital investigation analysis techniques base...
Sort
View
VISUALIZATION
2002
IEEE
14 years 17 days ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz
ICNP
1998
IEEE
13 years 12 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
SAC
2004
ACM
14 years 1 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White
IWC
2007
104views more  IWC 2007»
13 years 7 months ago
Lightweight techniques for structural evaluation of animated metaphors
Visual metaphors in the form of still or animated pictures have been used in user interfaces with the hope of enhancing learning and use of computer applications. This paper studi...
Jorma Sajaniemi, Tuija Stützle
CHI
2008
ACM
14 years 8 months ago
The network in the garden: an empirical analysis of social media in rural life
History repeatedly demonstrates that rural communities have unique technological needs. Yet, we know little about how rural communities use modern technologies, so we lack knowled...
Eric Gilbert, Karrie Karahalios, Christian Sandvig