Sciweavers

2055 search results - page 14 / 411
» Generic Model Refactorings
Sort
View
CADE
2004
Springer
15 years 10 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
AH
2008
Springer
15 years 4 months ago
Assisting in Reuse of Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
Nadjet Zemirline, Yolaine Bourda, Chantal Reynaud,...
ASIACRYPT
2009
Springer
15 years 4 months ago
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
At Eurocrypt 2009 Aggarwal and Maurer proved that breaking RSA is equivalent to factoring in the generic ring model. This model captures algorithms that may exploit the full algeb...
Tibor Jager, Jörg Schwenk
BPM
2009
Springer
124views Business» more  BPM 2009»
14 years 11 months ago
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
Cédric Favre, Thomas Gschwind, Jana Koehler...
COLING
2002
14 years 9 months ago
Probabilistic Models of Verb-Argument Structure
We evaluate probabilistic models of verb argument structure trained on a corpus of verbs and their syntactic arguments. Models designed to represent patterns of verb alternation b...
Daniel Gildea