Sciweavers

2055 search results - page 216 / 411
» Generic Model Refactorings
Sort
View
ESOP
2010
Springer
16 years 22 days ago
Weighted Dynamic Pushdown Networks
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
Alexander Wenner
SEUS
2008
IEEE
15 years 9 months ago
A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
Florian Kluge, Sascha Uhrig, Jörg Mische, The...
SOCO
2005
Springer
15 years 8 months ago
On Typesafe Aspect Implementations in C++
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
Daniel Lohmann, Olaf Spinczyk
EUROPKI
2004
Springer
15 years 8 months ago
A Framework for Evaluating the Usability and the Utility of PKI-enabled Applications
Abstract. Besides the pure technical features, the usability of a PKIenabled application plays a crucial role since the best security application will fail in practice if its usabi...
Tobias Straub, Harald Baier
121
Voted
MICAI
2004
Springer
15 years 8 months ago
An Approach to Automatic Morphing of Face Images in Frontal View
Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many t...
Vittorio Zanella, Olac Fuentes