10263 search results - page 1700 / 2053 » From Use Cases to System Operation Specifications |
211
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
215
click to vote
SEMWEB
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
187
click to vote
CCGRID
2003
IEEE
16 years 28 days ago
2003
IEEE
Formation of suitable overlay-network topologies that are able to reflect the structure of the underlying network-infrastructure, has rarely been addressed by peer-to-peer applic...
294
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
218
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...