Sciweavers

561 search results - page 42 / 113
» An Investigation Into Computer Forensic Tools
Sort
View
PAM
2005
Springer
15 years 7 months ago
On the Stationarity of TCP Bulk Data Transfers
Abstract. While the Internet offers a single best-effort service, we remark that (i) core backbones are in general over provisioned, (ii) end users have increasingly faster acces...
Guillaume Urvoy-Keller
ACSC
2004
IEEE
15 years 5 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
CHI
2010
ACM
15 years 8 months ago
Leveraging gesture and voice data to improve group brainstorming
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
Deirdre Garrahan, Orit Shaer, Andreya Piplica, Kev...
SSDBM
1994
IEEE
108views Database» more  SSDBM 1994»
15 years 6 months ago
Comparative Multivariate Visualization Across Conceptually Different Graphic Displays
To extend the scope of multivariate data visualization, the notion of comparative visualization is introduced: it allows the comparison of visualization methods by interconnecting...
Claudia Schmid, Hans Hinterberger
AVI
2004
15 years 3 months ago
Interactive data summarization: an example application
Summarizing large multidimensional datasets is a challenging task, often requiring extensive investigation by a user to identify overall trends and important exceptions to them. W...
Neal Lesh, Michael Mitzenmacher