2722 search results - page 62 / 545 » The Model Evolution Calculus |
121
Voted
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
114
Voted
ENTCS
2006
15 years 2 months ago
2006
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
126
click to vote
SPIN
2010
Springer
15 years 23 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
160
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
132
Voted
BTW
2001
Springer
15 years 7 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...