Sciweavers

5830 search results - page 809 / 1166
» Automatic link generation
Sort
View
PTS
2010
140views Hardware» more  PTS 2010»
15 years 5 months ago
More Testable Properties
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
Yliès Falcone, Jean-Claude Fernandez, Thier...
PVLDB
2010
219views more  PVLDB 2010»
15 years 5 months ago
Deep Web Integration with VisQI
In this paper, we present VisQI (VISual Query interface Integration system), a Deep Web integration system. VisQI is capable of (1) transforming Web query interfaces into hierarch...
Thomas Kabisch, Eduard Constantin Dragut, Clement ...
193
Voted
DMS
2010
147views Multimedia» more  DMS 2010»
15 years 4 months ago
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
Aditi Patwardhan, Kevin W. Hamlen, Kendra Cooper
EMNLP
2010
15 years 4 months ago
Unsupervised Discovery of Negative Categories in Lexicon Bootstrapping
Multi-category bootstrapping algorithms were developed to reduce semantic drift. By extracting multiple semantic lexicons simultaneously, a category's search space may be res...
Tara McIntosh
IEAAIE
2010
Springer
15 years 4 months ago
Temporal Bounded Planner Agent for Dynamic Industrial Environments
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
Juan Francisco de Paz, Martí Navarro, Sara ...