2516 search results - page 364 / 504 » Integrity Constraints for XML |
183
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a new method of integrating the placement and routing stages in the physical design of channel-based architectures, and present the first implementation o...
160
click to vote
FSE
2001
Springer
15 years 11 months ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
182
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
148
click to vote
IEAAIE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
157
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...