1323 search results - page 109 / 265 » Updatable Security Views |
113
Voted
CIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
122
click to vote
JCS
2007
15 years 2 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
132
Voted
IV
2007
IEEE
15 years 8 months ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
114
Voted
AVSS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a system for automatic head tracking with a single pan-tilt-zoom (PTZ) camera. In distance education the PTZ tracking system developed can be used to follow a teacher a...
118
click to vote
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
When a database is defined as views over autonomous sources, inconsistencies with respect to global integrity constraints are to be expected. This paper investigates the possibili...