605 search results - page 72 / 121 » Dealing with logical omniscience |
TIME
2009
IEEE
14 years 3 months 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...
LOPSTR
2009
Springer
14 years 3 months 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...
ECBS
2007
IEEE
14 years 3 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....
ICC
2007
IEEE
14 years 3 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...
AIED
2007
Springer
14 years 3 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...