Results 281 to 290 of about 511,405 (319)
, 1998 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
Formal Aspects of Computing, 2003
Abstract.Modern environments for modelling and designing concurrent computational systems increasingly supportheterogeneoussystem models, which are characterised by different coordination mechanisms governing the interaction between concurrent components in different parts or at different levels of the model.
openaire +1 more source
Abstract.Modern environments for modelling and designing concurrent computational systems increasingly supportheterogeneoussystem models, which are characterised by different coordination mechanisms governing the interaction between concurrent components in different parts or at different levels of the model.
openaire +1 more source
Permittivity of composite composites
1999 Annual Report Conference on Electrical Insulation and Dielectric Phenomena (Cat. No.99CH36319), 2003Composite composites are entities that are important in physics and engineering and are a class of compounds actively investigated for their dielectric properties. Such systems consist of composite inclusions multicomponent materials embedded in a matrix of a distinct material.
C. Brosseau, A. Beroual, A. Boudida
openaire +1 more source
Formal Aspects of Computing, 2002
Abstract. This paper presents a technique called generic composition to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic theories.
openaire +2 more sources
Abstract. This paper presents a technique called generic composition to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic theories.
openaire +2 more sources
Influence of ozone on the composite-to-composite bond
Clinical Oral Investigations, 2010The study evaluated the effect of ozone application on the composite-to-composite bond. Three hundred and twenty cylindrical composite specimens were divided into two groups: group 1 was subjected to a 60 s ozone application, whereas group 2 remained untreated.
Elisa, Magni +4 more
openaire +2 more sources