Sciweavers

5762 search results - page 741 / 1153
» R-tree: A Hardware Implementation
Sort
View
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
16 years 12 days ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...
MDAFA
2004
Springer
136views Hardware» more  MDAFA 2004»
16 years 12 days ago
Integrating Platform Selection Rules in the Model Driven Architecture Approach
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
Bedir Tekinerdogan, Sevcan Bilir, Cem Abatlevi
ACSAC
2003
IEEE
16 years 10 days ago
Poly2 Paradigm: A Secure Network Service Architecture
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
Eric Bryant, James P. Early, Rajeev Gopalakrishna,...
ACSAC
2003
IEEE
16 years 10 days ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
16 years 10 days ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler