This paper shows how an engineer could write a full formal description of the service layer of a telecommunication system, organized according to the Distributed Feature Composition virtual architecture. Descriptions in Promela and Z can be composed using a joint semantics based on the transition-axiom method. The described system can be reasoned about in several ways, including use of tools de...

In response to the call for candidates issued by the National Institute for Standards and Technologies (the Advanced Encryp-tion Standard project) the Ecole Normale Sup erieure proposed a candidate called DFC as for \Decorrelated Fast Cipher", based on the decor-relation technique that provides provable security against several classes of attacks (in particular the basic version of Biham and Sh...

Abstract In this work, we present a multimodal approach to three-dimensionally quantify and visualize fiber orientation resin-rich areas in carbon-fiber-reinforced polymers manufactured by vacuum infusion. Three complementary image modalities were acquired Talbot–Lau grating interferometer (TLGI) X-ray microcomputed tomography (XCT). Compared absorption contrast (AC), TLGI-XCT provides enhanced...

Abstract Background The brain’s dynamic spontaneous neural activity and functional connectivity (dFC) are both important in supporting cognition, but how these two types of brain dynamics evolve co-evolve subjective cognitive decline (SCD) mild impairment (MCI) remain unclear. aim the present study was to investigate recurrent concurrent patterns states correlated with decline. Methods analyzed...

Some previously unidentified sources of feature interaction arising in mobile and multimedia telecommunication systems are presented. We discuss how these feature interactions might be managed by feature developers and service providers. The Distributed Feature Composition (DFC) architecture has proven to be a valuable tool for elucidating these feature interactions, and for describing desirabl...

Some previously unidentified sources of feature interaction arising in mobile and multimedia telecommunication systems are presented. We discuss how these feature interactions might be managed by feature developers and service providers. The Distributed Feature Composition (DFC) architecture has proven to be a valuable tool for elucidating these feature interactions, and for describing desirabl...