2722 search results - page 211 / 545 » The Model Evolution Calculus |
125
click to vote
SETP
2007
15 years 4 months ago
2007
To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusi...
117
Voted
IADIS
2003
15 years 4 months ago
2003
Ontologies in a web setting, particularly those used in a group context (such as a virtual community), need to be flexible and open to changes that reflect the evolution of knowle...
105
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
147
click to vote
MSCS
2007
15 years 2 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
114
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...