2911 search results - page 359 / 583 » A Logic of Graph Constraints |
145
click to vote
IEEEPACT
2007
IEEE
16 years 26 days ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
157
click to vote
ISOLA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
169
click to vote
DEXAW
2006
IEEE
16 years 19 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
163
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
163
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...