Sciweavers

16616 search results - page 303 / 3324
» Extending Extended Vacuity
Sort
View
199
Voted
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
EMNLP
2009
15 years 4 months ago
Character-level Analysis of Semi-Structured Documents for Set Expansion
Set expansion refers to expanding a partial set of "seed" objects into a more complete set. One system that does set expansion is SEAL (Set Expander for Any Language), w...
Richard C. Wang, William W. Cohen
ICC
2009
IEEE
164views Communications» more  ICC 2009»
15 years 4 months ago
Static Analysis of Executables for Collaborative Malware Detection on Android
Smartphones are getting increasingly popular and several malwares appeared targeting these devices. General countermeasures to smartphone malwares are currently limited to signatur...
Aubrey-Derrick Schmidt, Rainer Bye, Hans-Gunther S...
ICIW
2009
IEEE
15 years 4 months ago
Toward an Integrated Ontology for Web Services
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
Yassin Chabeb, Samir Tata, Djamel Belaïd
ICONIP
2009
15 years 4 months ago
Fuzzy Decision Tree Induction Approach for Mining Fuzzy Association Rules
Decision Tree Induction (DTI), one of the Data Mining classification methods, is used in this research for predictive problem solving in analyzing patient medical track records. In...
Rolly Intan, Oviliani Yenty Yuliana