Sciweavers

814 search results - page 18 / 163
» Generic Model Abstraction from Examples
Sort
View
AAECC
2009
Springer
138views Algorithms» more  AAECC 2009»
15 years 3 months ago
Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
Yang Cui, Kirill Morozov, Kazukuni Kobara, Hideki ...
ACCV
2010
Springer
15 years 1 months ago
Abstraction and Generalization of 3D structure for recognition in large intra-class variation
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
Gowri Somanath, Chandra Kambhamettu
CAISE
2004
Springer
15 years 5 months ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
15 years 6 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger