4924 search results - page 418 / 985 » A Software System for Spatial Data Analysis and Modeling |
180
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
200
click to vote
IPM
2007
15 years 6 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
175
click to vote
HIPEAC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
214
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
212
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
We present a method for discovering patterns of activation observed through fMRI in experiments with multiple stimuli/tasks. We introduce an explicit parameterization for the profi...