Sciweavers

814 search results - page 42 / 163
» Generic Model Abstraction from Examples
Sort
View
ICEIS
2003
IEEE
15 years 7 months ago
A Multi-Level Architecture for Distributed Object Bases
Abstract: The work described in this article arises from two needs. First, there is still a need for providing more sophisticated database systems than just relational ones. Second...
Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tret...
ESORICS
2009
Springer
16 years 2 months ago
Formal Indistinguishability Extended to the Random Oracle Model
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
Cristian Ene, Yassine Lakhnech, Van Chan Ngo
ICPR
2004
IEEE
16 years 3 months ago
Jet Based Feature Classification
In this paper, we investigate to which extent the "raw" mapping of Taylor series coefficients into jet-space can be used as a "language" for describing local i...
Kim Steenstrup Pedersen, Martin Lillholm
ICSR
2004
Springer
15 years 7 months ago
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
Abdelmadjid Ketfi, Noureddine Belkhatir
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels