722 search results - page 130 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
128
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
139
click to vote
HT
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
108
click to vote
SIAMCOMP
2008
15 years 1 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we propose a new linear programming based timing driven placement framework for high performance designs. Our LP framework is mainly net-based, but it takes advanta...
109
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...