2016 search results - page 357 / 404 » Tool Support for Ontology Engineering |
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
CERA
2002
14 years 9 months ago
2002
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
101
click to vote
AIRWEB
2005
Springer
15 years 3 months ago
2005
Springer
Web spamming, the practice of introducing artificial text and links into web pages to affect the results of searches, has been recognized as a major problem for search engines. ...
BTW
2005
Springer
15 years 3 months ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...