Sciweavers

2765 search results - page 134 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
DBSEC
2003
155views Database» more  DBSEC 2003»
15 years 8 months ago
Schema Based XML Security: RBAC Approach
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
Xinwen Zhang, Jaehong Park, Ravi S. Sandhu
CAISE
2008
Springer
15 years 8 months ago
Model Transformations powered by Rewriting Logic
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
Francisco J. Lucas, José Ambrosio Toval &Aa...
JUCS
2002
131views more  JUCS 2002»
15 years 6 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk
ICST
2008
IEEE
16 years 28 days ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
16 years 26 days ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...