227 search results - page 28 / 46 » Towards Automated Inconsistency Handling in Design Models |
CEEMAS
2007
Springer
15 years 1 months ago
2007
Springer
Multiagent systems may be elegantly modeled and designed by enhancing the role of the environment in which agents evolve. In particular, the environment may have the role of a gove...
COMAD
2009
14 years 10 months ago
2009
Data migration is one of the key operations in many enterprise data integration projects. While there are standard and well established tools for data migration, the enterprises r...
DAIS
2006
14 years 11 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
119
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
102
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...