27 search results - page 6 / 6 » Automatic Incrementalization of Prolog Based Static Analyses |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
154
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...