Sciweavers

4166 search results - page 478 / 834
» Automating the constraining process
Sort
View
111
Voted
ENTER
2007
Springer
15 years 11 months ago
Annotating Accommodation Advertisements Using CERNO
There has been great interest in applying Semantic Web technologies to the tourism sector ever since Tim Berners-Lee introduced his vision. Unfortunately, there is a major obstacl...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Jam...
ICCBR
2007
Springer
15 years 11 months ago
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
David B. Leake, Jay H. Powell
ACSC
2006
IEEE
15 years 11 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
COMPSAC
2006
IEEE
15 years 11 months ago
Tool Support to Model-based Quality Analysis of Software Architecture
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Qian Zhang, Jian Wu, Hong Zhu
152
Voted
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 11 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...