2137 search results - page 203 / 428 » Proving Abstract Non-interference |
110
click to vote
ERCIMDL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
137
click to vote
ESAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Wireless sensor networks increasingly become viable solutions to many challenging problems and will successively be deployed in many areas in the future. However, deployi...
135
Voted
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
115
click to vote
EUROPKI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this work we will show how non-qualified electronic signatures and time stamps can be efficiently enhanced in order to equip them with similar features as qualified ...
108
click to vote
EVOW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We deal with two important problems in pattern recognition that arise in the analysis of large datasets. While most feature subset selection methods use statistical techn...