268 search results - page 53 / 54 » Equivalence for the G3'-stable models semantics |
SIGMOD
2004
ACM
14 years 5 months ago
2004
ACM
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
ECAI
2000
Springer
13 years 10 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
POPL
1991
ACM
13 years 9 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
ICWS
2008
IEEE
13 years 7 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...