Sciweavers

2986 search results - page 407 / 598
» Generic market models
Sort
View
ICDE
1995
IEEE
99views Database» more  ICDE 1995»
16 years 8 months ago
Record Subtyping in Flexible Relations by Means of Attribute Dependencies
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
Christian Kalus, Peter Dadam
AFRICACRYPT
2009
Springer
16 years 1 months ago
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
Manuel Barbosa, Pooya Farshim
TARK
2009
Springer
16 years 1 months ago
Program equilibria and discounted computation time
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
Lance Fortnow
CSFW
2006
IEEE
16 years 21 days ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
MM
2004
ACM
229views Multimedia» more  MM 2004»
16 years 2 days ago
Generating 3D views of facial expressions from frontal face video based on topographic analysis
In this paper, we report our newly developed 3D face modeling system with arbitrary expressions in a high level of detail using the topographic analysis and mesh instantiation pro...
Lijun Yin, Kenny Weiss