Sciweavers

1827 search results - page 257 / 366
» Automatic thesaurus construction
Sort
View
125
Voted
TASE
2007
IEEE
15 years 10 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
117
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 10 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
115
Voted
CCS
2007
ACM
15 years 10 months ago
On the infeasibility of modeling polymorphic shellcode
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
Yingbo Song, Michael E. Locasto, Angelos Stavrou, ...
132
Voted
CIKM
2007
Springer
15 years 10 months ago
Developing learning strategies for topic-based summarization
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...
Ouyang You, Sujian Li, Wenjie Li
118
Voted
CLEF
2007
Springer
15 years 10 months ago
Bengali, Hindi and Telugu to English Ad-Hoc Bilingual Task at CLEF 2007
This paper presents the experiments carried out at Jadavpur University as part of participation in the CLEF 2007 ad-hoc bilingual task. This is our first participation in the CLEF...
Sivaji Bandyopadhyay, Tapabrata Mondal, Sudip Kuma...