Search Sciweavers | Sciweavers

439 search results - page 13 / 88

» Tabling for transaction logic

click to vote

CORR
2010
Springer

108views Education» more CORR 2010»

An Analysis of Transaction and Joint-patent Application Networks

14 years 9 months ago

Download www.phys.sinica.edu.tw

Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...

Hiroyasu Inoue

claim paper

Read More »

173

click to vote

SIGMOD
2008
ACM

182views Database» more SIGMOD 2008»

Multi-tenant databases for software as a service: schema-mapping techniques

15 years 9 months ago

Download www-db.in.tum.de

In the implementation of hosted business services, multiple tenants are often consolidated into the same database to reduce total cost of ownership. Common practice is to map mult...

Stefan Aulbach, Torsten Grust, Dean Jacobs, Alfons...

claim paper

Read More »

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 3 months ago