4266 search results - page 558 / 854 » A Framework for Defining Logics |
180
click to vote
EWSA
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
174
click to vote
GCC
2004
Springer
16 years 5 days ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
169
click to vote
GPCE
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
174
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
165
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...