561 search results - page 83 / 113 » An Investigation Into Computer Forensic Tools |
134
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
MathGirls is a pedagogical-agent-based environment designed for high-school girls learning introductory algebra. Since females are in general more interested in interactive computi...
135
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate scalable algorithms for automated composition (WSC) of Semantic Web Services. Our notion of WSC is very general: the composition semantics includes background knowl...
148
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
114
click to vote
SG
2007
Springer
15 years 10 months ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...
141
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...