227 search results - page 6 / 46 » Towards Automated Inconsistency Handling in Design Models |
JCDL
2004
ACM
15 years 3 months ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...
105
click to vote
AAAI
2000
14 years 11 months ago
2000
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...
IJSEKE
2006
14 years 9 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
101
click to vote
PERCOM
2010
ACM
14 years 7 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...