Results 201 to 210 of about 2,339,698 (262)

On the Composition of Compositional Reasoning

2006
We 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   +2 more sources

Policy of Composition ? Composition of Policies

2011 IEEE International Symposium on Policies for Distributed Systems and Networks, 2011
Policies 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

Translating Energy Balance Research From the Bench to the Clinic to the Community: Parallel Animal-Human Studies in Cancer

Ca-A Cancer Journal for Clinicians, 2023
Kerry S Courneya
exaly  

COMPOSITE PARTICLES, COMPOSITE-PARTICLE COMPOSITION, AND METHOD FOR PRODUCING COMPOSITE-PARTICLE COMPOSITION

2022
NISHIJIMA NAO, FUJISAWA SHUJI
openaire   +3 more sources

COMPOSITION

2021
HARA SAKIKO, ODAMAKI TOSHITAKA
openaire   +6 more sources

Composition and Functions of Bacterial Membrane Vesicles

Nature Reviews Microbiology, 2023
Stefan Schild, Leo Eberl, Maria Kaparakis-Liaskos   +2 more
exaly  

COMPOSITE RESIN COMPOSITION AND METHOD FOR PRODUCING COMPOSITE RESIN COMPOSITION

2020
KASHIMURA KOTA, ISHIMOTO KENICHIRO
openaire   +3 more sources

Service Composition Model and Method in Cloud Manufacturing

Robotics and Computer-Integrated Manufacturing, 2020
Wenbin Gu, Minghai Yuan, Zhuo Zhou
exaly