529 search results - page 7 / 106 » ideas 2003 |
IWFM
2003
13 years 11 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
IDEAS
2003
IEEE
14 years 3 months ago
2003
IEEE
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
IDEAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Building highly available enterprise applications using web-oriented middleware is hard. Runtime implementations frequently do not address the problems of application state persis...
IDEAS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...