2722 search results - page 158 / 545 » The Model Evolution Calculus |
EDBT
2000
ACM
13 years 12 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
LMCS
2007
13 years 8 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— There are various discussions on the evolution of cooperation on different pairs of interaction network for playing games and the replacement network for imitation of strategie...
IWPSE
2005
IEEE
14 years 1 months ago
2005
IEEE
The evolution of Web Applications needs to be supported by the availability of proper analysis and design documents. UML use case diagrams are certainly useful to identify feature...