3831 search results - page 427 / 767 » Dynamic Context Logic |
196
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
185
click to vote
MIDDLEWARE
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
177
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
189
click to vote
DEXA
2004
Springer
16 years 4 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
159
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...