128 search results - page 4 / 26 » Logical Data Independence Reconsidered (Extended Abstract) |
CORR
2002
Springer
13 years 6 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
WECWIS
2002
IEEE
13 years 12 months ago
2002
IEEE
In the web context, it is difļ¬cult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to deļ...
CIE
2005
Springer
14 years 15 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Ī£ādeļ¬nability to higher type continuous data such as functionals and operators. We employ deļ¬nab...
BIRTHDAY
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This chapter considers the diļ¬erent temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...