8644 search results - page 79 / 1729 » On the Composition of Secure Systems |
DEBS
2008
ACM
13 years 10 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
AUTOMATICA
2007
13 years 9 months ago
2007
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
AGP
1994
IEEE
14 years 16 days ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
ISORC
2003
IEEE
14 years 2 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...