3831 search results - page 339 / 767 » Dynamic Context Logic |
151
click to vote
ADC
2004
Springer
16 years 13 hour ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
183
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
167
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...
179
click to vote
ICEB
2004
15 years 8 months ago
2004
Most of existing mobile services were designed based on the client/server architecture. Those mobile services neither paid much attention to mobile users' interactions with t...
219
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...