2722 search results - page 217 / 545 » The Model Evolution Calculus |
247
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
134
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
127
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
107
click to vote
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
127
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...