439 search results - page 9 / 88 » Tabling for transaction logic |
IEICET
2006
13 years 11 months ago
2006
TOPLAS
1998
13 years 10 months ago
1998
AICCSA
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
ICPR
2008
IEEE
15 years 2 days ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
EDBT
2006
ACM
14 years 11 months ago
2006
ACM
A database schema should be able to evolve to reflect changes to the universe it represents. In existing systems, user transactions get blocked during complex schema transformation...