Sciweavers

958 search results - page 47 / 192
» Model Transformation Languages and Their Implementation by B...
Sort
View
CSDA
2006
100views more  CSDA 2006»
15 years 1 months ago
Implementing a class of structural change tests: An econometric computing approach
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
Achim Zeileis
SP
2002
IEEE
103views Security Privacy» more  SP 2002»
15 years 1 months ago
Methods and Limitations of Security Policy Reconciliation
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
Patrick Drew McDaniel, Atul Prakash
AGTIVE
2003
Springer
15 years 6 months ago
Specifying Pointer Structures by Graph Reduction
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
Adam Bakewell, Detlef Plump, Colin Runciman
FASE
2007
Springer
15 years 7 months ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
EFDBS
2000
15 years 2 months ago
Adding Conflict Resolution Features to a Query Language for Database Federations
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
Kai-Uwe Sattler, Stefan Conrad, Gunter Saake