Sciweavers

3688 search results - page 428 / 738
» Static analysis of aspects
Sort
View
DBPL
2009
Springer
131views Database» more  DBPL 2009»
16 years 1 months ago
XML Security Views Revisited
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
Benoît Groz, Slawomir Staworko, Anne-C&eacut...
SCIA
2009
Springer
120views Image Analysis» more  SCIA 2009»
16 years 1 months ago
Spatio-temporal Super-Resolution Using Depth Map
This paper describes a spatio-temporal super-resolution method using depth maps for static scenes. In the proposed method, the depth maps are used as the parameters to determine th...
Yusaku Awatsu, Norihiko Kawai, Tomokazu Sato, Naok...
RTSS
2008
IEEE
16 years 1 months ago
Delay-Aware Period Assignment in Control Systems
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...
Enrico Bini, Anton Cervin
SECURWARE
2008
IEEE
16 years 1 months ago
Formal Modeling of Authentication in SIP Registration
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
Anders Moen Hagalisletto, Lars Strand
157
Voted
CSFW
2007
IEEE
16 years 1 months ago
Do As I SaY! Programmatic Access Control with Explicit Identities
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, J...