Automatic proof of resistance of denial of service attacks in protocols by Bo MENG, Wei HUANG, De-jun WAND, Fei SHAO

Subjects: Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

Subjects: Get full text

The Moral Limits of Markets: A Critique on the Book “What Money Can't Buy?” by Hamid Padash

Subjects: Get full text

Factors Affecting the Improvement of English Language Proficiency of Students in Bali for Internships Abroad by Ni Wayan Mekarini

Subjects: Get full text

Impacto de la Educación Formal y Migración en el Desempeño de las Empresas Familiares: Un Caso en Jerez, Zacatecas by Héctor Gabriel Villegas-Berumen, Humberto Morales Magallanes, César Landeros Soriano

Subjects: Get full text

Analysis and improvement of sensor networks security protocol by YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1

Subjects: Get full text

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems by Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Subjects: Get full text

Extended-CSP based analysis of non-repudiation protocols by HAN Zhi-geng, LUO Jun-zhou, WANG Liang-min

Subjects: Get full text

"A mí me gustaría pero en mis condiciones no puedo": maternidad, discriminación y exclusión en el mercado laboral colombiano by Natalia Ramírez-Bustamante

Subjects: Get full text

Concevoir et apprendre, deux expériences homologues en architecture by Marion Howa, Daniel Estevez

Subjects: Get full text

Preferible en els registres formals by Carles Royo

Subjects: Get full text

HPRS: hierarchical potential-based reward shaping from task specifications by Luigi Berducci, Edgar A. Aguilar, Dejan Ničković, Radu Grosu

Subjects: Get full text

Formalization of Organizations of Recyclers by Trade in Bogota: Reflections from Popular Economy by Luisa Fernanda Tovar

Subjects: Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

Subjects: “…formal analysis…”
Get full text

Can voluntary adult education reduce unemployment? Causal evidence from East Germany after reunification by Li Kathrin Kaja Rupieper, Stephan L. Thomsen

Subjects: Get full text

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

Subjects: Get full text

Teologia wśród nauk formalnych. Uwagi polemiczne do artykułu Krzysztofa Jaworskiego by Łukasz Remisiewicz

Subjects: Get full text

The Concept of Legal Egalitarianism in Heterogeneous and Culturally Homogeneous Societies by I. V. Fedosov

Subjects: Get full text

Investigating the Nature of the Issue and the Elements of Water Transactions in the Formal Water Market Focused on Groundwater Market in Agricultural Sector by Hoda Jafari, Habib Ramezani, Bijan Nazari

Subjects: Get full text

The Current Updates of the Progresses and the Challenges of Recognition of Customary Forests in Indonesia by Rikardo Simarmata

Subjects: Get full text