27 search results - page 6 / 6 » Automatic Incrementalization of Prolog Based Static Analyses |
CONCUR
2010
Springer
13 years 6 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...
ICDE
2006
IEEE
14 years 6 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...