1156 search results - page 21 / 232 » Compositional Methods for Information-Hiding |
113
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
115
click to vote
JUCS
2010
15 years 11 days ago
2010
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
116
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
108
click to vote
PE
2000
Springer
15 years 1 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
SIAMJO
2002
15 years 1 months ago
2002
In this paper we extend the design of a class of composite