Sciweavers

511 search results - page 25 / 103
» More Precise Partition Abstractions
Sort
View
INFOCOM
2009
IEEE
14 years 3 months ago
A Social Network Based Patching Scheme for Worm Containment in Cellular Networks
Abstract—Recently, cellular phone networks have begun allowing third-party applications to run over certain open-API phone operating systems such as Windows Mobile, Iphone and Go...
Zhichao Zhu, Guohong Cao, Sencun Zhu, Supranamaya ...
MOBISEC
2009
Springer
14 years 3 months ago
Context-Aware Monitoring of Untrusted Mobile Applications
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
Andrew Brown, Mark Ryan
ML
2006
ACM
13 years 8 months ago
Type-sensitive control-flow analysis
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
John H. Reppy
MICCAI
2007
Springer
14 years 9 months ago
LOCUS: LOcal Cooperative Unified Segmentation of MRI Brain Scans
Abstract. We propose to carry out cooperatively both tissue and structure segmentations by distributing a set of local and cooperative models in a unified MRF framework. Tissue seg...
Benoit Scherrer, Michel Dojat, Florence Forbes, Ca...
TSMC
2010
13 years 3 months ago
Interactive Teaching for Vision-Based Mobile Robots: A Sensory-Motor Approach
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
Christophe Giovannangeli, Philippe Gaussier