2079 search results - page 235 / 416 » Quantifying Information Flow |
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In this work, we find meaningful parameterizations of cortical surfaces utilizing prior anatomical information in the form of anatomical landmarks (sulci curves) on the s...
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
KIVS
2009
Springer
14 years 4 months ago
2009
Springer
We introduce an adaptive pacing scheme to overcome the drawbacks of TCP in wireless mesh networks with Internet connectivity. The pacing scheme is implemented at the wireless TCP s...
IWIA
2005
IEEE
14 years 3 months ago
2005
IEEE
1 Intrusion detection in MANETs is challenging because these networks change their topologies dynamically; lack concentration points where aggregated traffic can be analyzed; utili...