935 search results - page 27 / 187 » On Graph Based Interaction for Semantic Query Languages |
100
click to vote
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
DAGSTUHL
2006
15 years 2 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
204
click to vote
AMW
2011
14 years 4 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
106
click to vote
VL
1999
IEEE
15 years 5 months ago
1999
IEEE
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...