1113 search results - page 82 / 223 » Counter Systems for Data Logics |
183
click to vote
CIDR
2011
14 years 8 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
136
click to vote
WISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
136
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
124
click to vote
IJCAI
2003
15 years 5 months ago
2003
In this paper, we define a simple but scalable framework for peer-to-peer data sharing systems, in which the problem of answering queries over a network of semantically related p...
143
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...