850 search results - page 126 / 170 » A Logic Programming Language Based on Binding Algebras |
135
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
119
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
110
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
133
click to vote
ENTCS
2008
15 years 1 months ago
2008
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...