6434 search results - page 973 / 1287 » Model Transformations with Reference Models |
135
click to vote
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
138
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
144
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
139
click to vote
MMM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a fragile watermarking technique to tamper proof (Mocap) motion capture data. The technique visualizes 3D Mocap data as a series of cluster of points. Watermark...