359 search results - page 3 / 72 » Abstract Patterns of Compositional Reasoning |
99
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
100
Voted
AH
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we introduce an approach to the adaptive composition of video documentaries. The adaptation is based on templates that encode rules for the dynamic selection, sequen...
85
Voted
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
114
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
93
Voted
ENTCS
2002
15 years 28 days ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...