1117 search results - page 153 / 224 » Partial Models of Extended Generalized Logic Programs |
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
109
click to vote
EDBT
1992
ACM
15 years 3 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
100
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
102
click to vote
EUROSYS
2007
ACM
15 years 3 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...