2722 search results - page 106 / 545 » The Model Evolution Calculus |
LOGCOM
2010
13 years 6 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we propose an approach to automatically mine event evolution graphs from newswires on the Web. Event evolution graph is a directed graph in which the vertices and e...
ALIFE
1998
13 years 7 months ago
1998
This article reports on the current state of our efforts to shed light on the origin and evolution of linguistic diversity using synthetic modeling and arti cial life es. We constr...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...