Results 261 to 270 of about 3,840,908 (313)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Composite service metamodel and auto composition
Journal of Computational Methods in Sciences and Engineering, 2010Service Oriented Architecture (SOA) is a computing paradigm which promises to provide transparency to resource access by exposing the available resources as services. SOA is based on service composition for application development or service development. Numerous researches focus on service composition.
Hock-Koon, Anthony, Oussalah, Mourad
openaire +2 more sources
On the Composition of Compositional Reasoning
2006We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties ...
Felix C. Freiling, Thomas Santen
openaire +1 more source
Mathematics in Computer Science, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aubrey Blecher +3 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aubrey Blecher +3 more
openaire +2 more sources
Policy of Composition ? Composition of Policies
2011 IEEE International Symposium on Policies for Distributed Systems and Networks, 2011Policies of data artifacts and services on the Web restrict the situations in which they are allowed to be used. Compositions, which use several protected entities and are themselves published on the Internet, must obey the restrictions of all relevant policies. Such policies can include restrictions on the policy of the composition, e.g.
openaire +2 more sources
Composite materials, composite structures, composite systems
The Aeronautical Journal, 2011AbstractThe first part of the history of composites in aerospace emphasised materials with high specific strength and stiffness. This was followed by a quest for reliable manufacturing techniques that guaranteed sufficiently high fibre volume fractions in complex structural parts with reasonable cost.
M. van Tooren, C. Kasapoglou, H. Bersee
openaire +1 more source

