959 search results - page 137 / 192 » Transfers between Logics and their Applications |
206
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
Database views are extensively used to represent unmaterialized tables. Applications rarely distinguish between a materialized base table and a virtual view, thus, they may issue ...
100
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
140
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
ISCC
2007
IEEE
15 years 8 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...