3742 search results - page 586 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
178
click to vote
HT
2009
ACM
16 years 29 days ago
2009
ACM
Conversational recommender systems (CRSs) assist online users in their information-seeking and decision making tasks by supporting an interactive process. Although these processes...
174
click to vote
IMC
2009
ACM
16 years 29 days ago
2009
ACM
Fast-flux is a redirection technique used by cyber-criminals to hide the actual location of malicious servers. Its purpose is to evade identification and prevent or, at least de...
152
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
178
click to vote
IEEEPACT
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...