1178 search results - page 165 / 236 » A Methodological Approach to Developing Model Transformation... |
119
click to vote
ICSEA
2009
IEEE
15 years 8 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
122
Voted
EUROCRYPT
2009
Springer
16 years 2 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
VISUALIZATION
1998
IEEE
15 years 5 months ago
1998
IEEE
We consider interpolation between keyframe hierarchies. We impose a set of weak constraints that allows smooth interpolation between two keyframe hierarchies in an animation or, m...
118
click to vote
GIS
2008
ACM
15 years 2 months ago
2008
ACM
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...
129
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...