5475 search results - page 360 / 1095 » Model Driven Security |
201
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
174
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In the context of image-guided TIPS (Transjugular, Intrahepatic, Portosystemic Shunt formation) surgery, the pose of a 3-dimensional model of the liver's vasculature...
157
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
164
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
196
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...