1117 search results - page 135 / 224 » Partial Models of Extended Generalized Logic Programs |
124
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
200
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
102
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
133
click to vote
DKE
2010
15 years 1 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...