2055 search results - page 216 / 411 » Generic Model Refactorings |
132
click to vote
ESOP
2010
Springer
16 years 22 days ago
2010
Springer
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...
138
click to vote
SEUS
2008
IEEE
15 years 9 months ago
2008
IEEE
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...
115
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
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...
105
click to vote
EUROPKI
2004
Springer
15 years 8 months ago
2004
Springer
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...
121
Voted
MICAI
2004
Springer
15 years 8 months ago
2004
Springer
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...