851 search results - page 6 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
SIGMOD
2010
ACM
14 years 14 days ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
As knowledge bases move into the landscape of larger ontologies and have terabytes of related data, we must work on optimizing the performance of our tools. We are easily tempted t...
RSP
1999
IEEE
13 years 12 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
JELIA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...