Article

Article RDF

pages:

Foreword Academic Article
Foreword to the Special Issue on European Conference on Optical Communications (ECOC 2014) Academic Article
Foreword to the Special Issue on the Remote Sensing of the World Oceans Academic Article
Foreword to the special section on 3D object retrieval 2023 symposium (3DOR2023) Academic Article
FOREWORD: Thermal Processes for the Valorisation of Waste and Biomass into Energy/Fuel and Useful Materials - WasteEng 2008, 3-5 June 2008, Patras (Greece) Academic Article
FOREWORD: Treatment and Valorisation of Waste and Wastewater for the Production of Energy/Fuels and Useful Materials Academic Article
Forgetting of the initial condition for the filter in general state-space hidden Markov chain: a coupling approach Academic Article
Forgetting of the initial distribution for nonergodic Hidden Markov Chains Academic Article
Formal Abstraction and Compatibility Checking of Web Services Conference Paper
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack Conference Paper
Formal Analysis of Pervasive Computing Systems Conference Paper
Formal approach for generating privacy preserving user requirements-based business process fragments Conference Paper
Formal Approach for QoS-Aware Cloud Service Composition Conference Paper
Formal Behavioral Modeling for Verifying SCA Composition with Event-B Conference Paper
Formal context coverage based on isolated labels: An efficient solution for text feature extraction Academic Article
Formal Development of a Secure Access Control Filter Conference Paper
Formal framework for defining trust in multi-organisation environment Academic Article
Formal methods : never too young to start Conference Paper
Formal model for analysis of context dependencies in ubiquitous systems Conference Paper
Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud Conference Paper
Formal modeling for verifying SCA composition Conference Paper
Formal Modeling for Verifying SCA Dynamic Composition with Event-B Conference Paper
Formal Modeling of Elastic Service-Based Business Processes Conference Paper
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm Academic Article
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B Conference Paper
Formal verification of tamper-evident storage for e-voting Conference Paper
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes Conference Paper
Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models Academic Article
Formaldehyde and Glyoxal Measurement Deploying a Selected Ion Flow Tube Mass Spectrometer (SIFT-MS) Blog Posting
Formaldehyde and glyoxal measurement deploying a selected ion flow tube mass spectrometer (SIFT-MS) Academic Article

pages: