356 search results - page 17 / 72 » A Logic Database System with Extended Functionality |
104
Voted
ICDE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
126
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
DFG
2004
Springer
15 years 5 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
89
Voted
ENTCS
2008
15 years 14 days ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
97
Voted
IDEAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...