605 search results - page 72 / 121 » Dealing with logical omniscience |
198
click to vote
TIME
2009
IEEE
16 years 10 days ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
170
click to vote
LOPSTR
2009
Springer
16 years 4 days ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
168
click to vote
ECBS
2007
IEEE
15 years 12 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
158
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
132
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...