1658 search results - page 218 / 332 » Implementing Bit-addressing with Specialization |
95
Voted
MDAFA
2004
Springer
15 years 6 months ago
2004
Springer
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...
104
click to vote
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...
92
Voted
MKM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
MMAS
2004
Springer
15 years 6 months ago
2004
Springer
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...
89
Voted
POLICY
2004
Springer
15 years 6 months ago
2004
Springer
We study the speciļ¬cation of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...