Sciweavers

5353 search results - page 955 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
ACISP
2010
Springer
15 years 8 months ago
One-Time-Password-Authenticated Key Exchange
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
Kenneth G. Paterson, Douglas Stebila
FOIKS
2008
Springer
15 years 8 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
AMW
2010
15 years 8 months ago
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
Loreto Bravo, Mónica Caniupán Marile...
BILDMED
2008
15 years 8 months ago
Ein routine-integrierbares Planungswerkzeug zur operativen Rekonstruktion der Orbita
Operative reconstruction of fractured orbital floors must among others ensure equal volumes for left and right sides. In this paper, we present Thomas M. Deserno1 Wei Liao1 a plan...
Melanie Kleiner, Dirk Schulze, Pit Jakob Voss, Tho...
DAGSTUHL
2010
15 years 8 months ago
Generalized Swap Operation for Tetrahedrizations
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
Burkhard Lehner, Bernd Hamann, Georg Umlauf