11397 search results - page 209 / 2280 » A Relational Abstraction for Functions |
196
click to vote
PLDI
2004
ACM
16 years 17 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
193
click to vote
WSPI
2004
15 years 8 months ago
2004
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...
217
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
266
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Relational XQuery systems try to re-use mature relational data management infrastructures to create fast and scalable XML database technology. This paper describes the main featur...
198
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...