2041 search results - page 213 / 409 » Modelling Generic Judgements |
120
click to vote
SOCO
2005
Springer
15 years 9 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...
118
Voted
EUROPKI
2004
Springer
15 years 9 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...
128
click to vote
MICAI
2004
Springer
15 years 9 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...
108
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...
121
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
We present an approach to updateable XML views, which is based on the Stack-Based Approach to query languages. Its novelty consists in introducing procedures overloading generic up...