1676 search results - page 259 / 336 » Formal System Development with KIV |
112
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
136
click to vote
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
126
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
127
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
154
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...