2722 search results - page 175 / 545 » The Model Evolution Calculus |
166
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
168
click to vote
SECURWARE
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
194
click to vote
QEST
2007
IEEE
16 years 18 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
128
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
157
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...