8644 search results - page 67 / 1729 » On the Composition of Secure Systems |
TACAS
1997
Springer
14 years 1 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...
VVEIS
2007
13 years 10 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
DEDS
2008
13 years 9 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
PE
2000
Springer
13 years 8 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...
SOCA
2010
IEEE
13 years 6 months ago
2010
IEEE
The availability of Web services with similar functionality but different QoS values creates new challenges for Web services composition: not only functional properties of the comp...