Belala, F.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Feasibility and Effectiveness of Intervention Programmes Integrating Functional Exercise into Daily Life of Older Adults: A Systematic Review

Weber, Michaela, Belala, Nacera, Clemson, Lindy, Boulton, Elisabeth, Hawley-Hague, Helen, Becker, Clemens, Schwenk, Michael

Journal:

Year:

2017

Language:

english

File:

PDF, 169 KB

english, 2017

52

Architectural method to design and control dynamic composite web services

Djenouhat, Manel Amel, Belala, Faiza, Barkaoui, Kamel

Journal:

International Journal of Computer Applications in Technology

Year:

2018

Language:

english

File:

PDF, 2.17 MB

english, 2018

53

A timed semantics for web services composition

Chama, Imed Eddine, Belala, Nabil, Saϊdouni, Djamel Eddine

Journal:

International Journal of Business Process Integration and Management

Year:

2017

Language:

english

File:

PDF, 601 KB

english, 2017

54

Rainfall patterns of Algerian steppes and the impacts on natural vegetation in the 20th century

Belala, Fahima, Hirche, Azziz, Muller, Serge D, Tourki, Mahmoud, Salamani, Mostefa, Grandi, Mohamed, Ait Hamouda, Tahar, Boughani, Madjid

Journal:

Journal of Arid Land

Year:

2018

Language:

english

File:

PDF, 502 KB

english, 2018

55

Erratum to: Feasibility of the lifestyle integrated functional exercise concept in cognitively impaired geriatric rehabilitation patients

Belala, Nacera, Schwenk, Michael, Kroog, Anna, Becker, Clemens

Journal:

Zeitschrift für Gerontologie und Geriatrie

Year:

2018

File:

PDF, 105 KB

2018

56

Feasibility of the lifestyle integrated functional exercise concept in cognitively impaired geriatric rehabilitation patients; Machbarkeit des Lifestyle-Integrated-Functional-Exercise-Konzeptes bei kognitiv eingeschränkten geriatrischen Rehabilitationspatienten;

Belala, Nacera, Schwenk, Michael, Kroog, Anna, Becker, Clemens

Journal:

Zeitschrift für Gerontologie und Geriatrie

Year:

2018

Language:

english

File:

PDF, 423 KB

english, 2018

57

Towards a fuzzy bigraphical multi agent system for cloud of clouds elasticity management

Moudjari, Rayene, Sahnoun, Zaidi, Belala, Faiza

Journal:

International Journal of Approximate Reasoning

Year:

2018

Language:

english

File:

PDF, 5.84 MB

english, 2018

58

Erratum to: Feasibility of the lifestyle integrated functional exercise concept in cognitively impaired geriatric rehabilitation patients

Belala, Nacera, Schwenk, Michael, Kroog, Anna, Becker, Clemens

Journal:

Zeitschrift für Gerontologie und Geriatrie

Year:

2018

Language:

english

File:

PDF, 105 KB

english, 2018

59

Big-CAF: a bigraphical-generic cloud architecture framework

Benzadri, Zakaria, Bouanaka, Chafia, Belala, Faiza

Journal:

International Journal of Grid and Utility Computing

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

60

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks

Boucebsi, Rachida, Belala, Faiza

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2018

Language:

english

File:

PDF, 2.48 MB

english, 2018

61

A bigraph-based framework for specification and analysis of context-aware systems

Cherfia, Taha Abdelmoutaleb, Belala, Faïza, Barkaoui, Kamel

Journal:

International Journal of Critical Computer-Based Systems

Year:

2016

Language:

english

File:

PDF, 672 KB

english, 2016

62

Formal modelling and verifying elasticity strategies in cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza, Sahli, Hamza

Journal:

Year:

2019

File:

PDF, 2.86 MB

2019

63

Formal modelling and verifying elasticity strategies in cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza, Sahli, Hamza

Journal:

Year:

2019

Language:

english

File:

PDF, 2.86 MB

english, 2019

64

A Formal Framework for Scalable Component-Based Systems

Bouanaka, Chafia, Debza, Ahmed Amar, Belala, Faiza, Zeghib, Nadia

Journal:

International Journal of Information System Modeling and Design

Year:

2017

Language:

english

File:

PDF, 1.33 MB

english, 2017

65

Early inpatient rehabilitation for acutely hospitalized older patients: a systematic review of outcome measures

Heldmann, Patrick, Werner, Christian, Belala, Nacera, Bauer, Jürgen M., Hauer, Klaus

Journal:

Year:

2019

Language:

english

File:

PDF, 1024 KB

english, 2019

66

Design Patterns Formal Composition and Analysis

Douibi, Halima, Belala, Faiza

Journal:

International Journal of Information Technologies and Systems Approach

Year:

2019

Language:

english

File:

PDF, 1.17 MB

english, 2019

67

Early inpatient rehabilitation for acutely hospitalized older patients: a systematic review of outcome measures

Heldmann, Patrick, Werner, Christian, Belala, Nacera, Bauer, Jürgen M., Hauer, Klaus

Journal:

Year:

2019

File:

PDF, 1024 KB

2019

68

A pilot observational study to analyze (in)activity and reasons for sedentary behavior of cognitively impaired geriatric acute inpatients; Eine Pilotbeobachtungsstudie zur Analyse von (In‑)Aktivität und Gründen sedentären Verhaltens kognitiv eingeschränkter, geriatrischer Akutpatienten;

Belala, Nacera, Maier, Carolin, Heldmann, Patrick, Schwenk, Michael, Becker, Clemens

Journal:

Zeitschrift für Gerontologie und Geriatrie

Year:

2019

Language:

english

File:

PDF, 847 KB

english, 2019

69

SA128PSYCHIATRIC FAMILY HISTORY AND PSYCHOTIC DISORDER IN THE MILITARY

Arfi, Nassim, Tahri, Ramzi, Bensatal, Bakhta, Belala, Saida, Merzelkad, Toufik

Journal:

European Neuropsychopharmacology

Year:

2019

Language:

english

File:

PDF, 48 KB

english, 2019

70

A formal quantitative analysis of elastic cloud systems based on PSMaude

Bouanaka, Chafia, Maatougui, Esma, Belala, Faiza, Zeghib, Nadia

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2019

File:

PDF, 3.21 MB

2019

71

Formalizing and simulating cross-layer elasticity strategies in Cloud systems

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza

Journal:

Cluster Computing

Year:

2020

File:

PDF, 3.70 MB

2020

72

Formal modeling and analysis of complex software

Belala, Faiza, Maamri, Ramdane

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2020

File:

PDF, 251 KB

2020

73

A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration

Khebbeb, Khaled, Hameurlain, Nabil, Belala, Faiza

Journal:

Journal of Systems Architecture

Year:

2020

File:

PDF, 2.05 MB

2020

74

[IEEE 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) - Budapest, Hungary (2020.6.2-2020.6.4)] 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) - System of Systems Engineering: Meta-Modelling Perspective

Dridi, Charaf Eddine, Benzadri, Zakaria, Belala, Faiza

Year:

2020

File:

PDF, 8.97 MB

2020

75

Ãtude la validitÃ© des tests spiromÃ©triques effectuÃ©s en mÃ©decine de ville

Djeghri, Y., Tlili, K., Meridj, A., Belala, R.

Journal:

Revue des Maladies Respiratoires Actualités

Year:

2020

File:

PDF, 375 KB

2020

76

Time Petri Nets with Action Duration

Belala, N., SaÑdouni, D.E., Boukharrou, R., Chaouche, A.C., Seraoui, A., Chachoua, A.

Journal:

International Journal of Embedded and Real-Time Communication Systems

Year:

2013

File:

PDF, 2.34 MB

2013

77

RDTA

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Embedded and Real-Time Communication Systems

Year:

2014

File:

PDF, 1.49 MB

2014

78

A layered Petri net model to formally analyse time critical web service composition

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Critical Computer-Based Systems

Year:

2017

File:

PDF, 410 KB

2017

79

Relative time rates in dynamic timed automata

Layadi, SaÃ¯d, Kitouni, Ilham, Belala, Nabil, SaÃ¯douni, Djamel Eddine

Journal:

International Journal of Communication Networks and Distributed Systems

Year:

2016

File:

PDF, 599 KB

2016

80

Timed CTL checking of time critical cloud applications using timed bigraphs

Latreche, Fateh, Belala, Faiza

Journal:

International Journal of Critical Computer-Based Systems

Year:

2019

File:

PDF, 1.07 MB

2019

81

Formal verification of cloud systems elasticity

Sahli, Hamza, Belala, FaÃ¯za, Bouanaka, Chafia

Journal:

International Journal of Critical Computer-Based Systems

Year:

2016

File:

PDF, 571 KB

2016

82

A formal framework-based K-Maude for modelling scalable software architectures

Sahar, Smaali, Choutri, AÃ¯cha, Belala, FaÃ¯za

Journal:

International Journal of Computer Aided Engineering and Technology

Year:

2019

File:

PDF, 1.94 MB

2019