Results 51 to 60 of about 26,630 (194)

Communication-Closed Asynchronous Protocols [PDF]

open access: yes, 2019
The verification of asynchronous fault-tolerant distributed systems is challenging due to unboundedly many interleavings and network failures (e.g., processes crash or message loss). We propose a method that reduces the verification of asynchronous fault-tolerant protocols to the verification of round-based synchronous ones.
Cezara Drăgoi   +3 more
openaire   +2 more sources

Télécollaboration en langues et émergence d’une communauté virtuelle d’apprentissage

open access: yesALSIC: Apprentissage des Langues et Systèmes d'Information et de Communication
This study examines the conditions leading to the emergence of virtual learning communities in French as a foreign language and bilingual (French-English) online exchanges, with particular attention to a phase that is less addressed in research, namely ...
Krastanka Bozhinova
doaj   +1 more source

INVESTIGATION OF ASYNCHRONOUS OPTICAL COMMUNICATION CHANNEL THROUGHPUT CONTAINING A RECEIVER ON THE BASIS OF PHOTON COUNTER

open access: yesПриборы и методы измерений, 2015
A mathematical model of asynchronous optical communication channel with a photon counter applied as a receiving module has been built. The expression for calculating of data throughput of this channel has been obtained.
I. R. Gulakov   +3 more
doaj  

Asynchronous communication for medical journal editorial teams in a diverse global research community. [PDF]

open access: yesHeart, 2023
Otto CM   +7 more
europepmc   +1 more source

A novel endoscopy training system by video-based asynchronous communication. [PDF]

open access: yesEndoscopy, 2023
Inoue T   +6 more
europepmc   +1 more source

Separation of Synchronous and Asynchronous Communication Via Testing

open access: yesElectronic Notes in Theoretical Computer Science, 2006
AbstractOne of the early results concerning the asynchronous π-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether
Cacciagrano, Diletta   +2 more
openaire   +7 more sources

Interaction in virtual learning environments: an analysis of two discussion forums - DOI: 10.3395/reciis.v3i2.219en

open access: yesRECIIS, 2009
The role of interaction in constructing knowledge in discussion forums in virtual learning environments (VLE) is often supported by students' reports regarding their experiences in such forums.
Josué Laguardia   +2 more
doaj  

On New Means or New Forms of Investigation. A Methodological Proposal for Online Social Investigation through a Virtual Forum

open access: yesForum: Qualitative Social Research, 2007
Processes and instruments of communication have constituted an important object for Internet researchers, and have been investigated using qualitative methodologies in social research.
Rubén Arriazu Muñoz
doaj  

Home - About - Disclaimer - Privacy