Sciweavers

10055 search results - page 113 / 2011
» Structured programming using processes
Sort
View
SP
1996
IEEE
100views Security Privacy» more  SP 1996»
14 years 1 days ago
A Sense of Self for Unix Processes
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
11 years 10 months ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
ICIP
2007
IEEE
14 years 2 months ago
Structural Texture Segmentation using Affine Symmetry
Many natural textures comprise structural patterns and show strong self-similarity. We use affine symmetry to segment an image into self-similar regions; that is a patch of textu...
Heechan Park, Graham R. Martin, Abhir Bhalerao
ISMIS
2005
Springer
14 years 1 months ago
A Query Expression and Processing Technique for an XML Search Engine
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
Wol-Young Lee, Hwan-Seung Yong
EMNLP
2009
13 years 5 months ago
Using Morphological and Syntactic Structures for Chinese Opinion Analysis
This paper employs morphological structures and relations between sentence segments for opinion analysis on words and sentences. Chinese words are classified into eight morphologi...
Lun-Wei Ku, Ting-Hao Huang, Hsin-Hsi Chen