Results 21 to 30 of about 132,286,384 (65)

Permission-based separation logic for message-passing concurrency [PDF]

, 2010
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke, Francalanza, Adrian, Julian Rathke B, Rathke, Julian, Adrian Francalanza A, Vladimiro Sassone, Sassone, Vladimiro, Vladimiro Sassone C, Adrian Francalanza, Schmidt, Renate A.; id_orcid, Tiu, Alwen, Schmidt, Renate A., Gregoriades, Vassilios, Postniece (previously Buisman), Linda, Renate A. Schmidt, Pattinson, Dirk, Burel, G., Gore, Rajeev, Schroder, Lutz, Renate Schmidt, Dmitry Tishkovsky, Tishkovsky, Dmitry   +21 more
core   +1 more source

Altering cue reliability changes visual: auditory perception within seconds

, 2007
Ernst MO, Di Luca M. Altering cue reliability changes visual: auditory perception within seconds. Perception. 2007;36(Suppl.
Di Luca, M., Ernst, M., Ernst, Marc O., LI, WO, Chuang, L., Yang, J., Sanderson , J., Gauchou, H.L.,, Schofield, Andrew, Anne Schlottmann, Nijs, M., Motro, René, Islam , A., Wallraven, C., Wichmann, F., Wykowska, Agnieszka,, Khuu, KS, Veres-Injac, B., Bülthoff, H., Dresp, Birgitta, Peng, X, Harris, L., Frissen, I., Tanner, T., MacNeilage, P., Butler, J., Elze, T., Sara Congiu, Giese, M., A. Le Troter, Dopjans, L., Dahl, C., Canto-Pereira, L., Barnett-Cowan, M., Cheng, JCK, Silvestri, Chiara, Klink, P., Thornton, I., Schwaninger, A., Logothetis, N., Curio, C., Vuong, Q., Teramoto, W., Conrad, V., Machulla, T., MENEGAZ, Gloria, Wezel, R.J.A. van, Saunders, JA, Gordon, M., J. Sequeira, Regan, J.K.,, Li, L, Alanis, G., Thompson , C., de la Rosa, S., Sanderson, J., Souman, J., Campos, J., Breidt, M., Jenkin, H., Chen, J, Rosas, P., Herholz, S., Georgeson, Mark, Noest, A.J., van Ee, R., Rock, Paul, Riecke, B., Yates, T. A., Fleming, R., Lochmann, T., Schubö, Anna,, Mazour, E., Dyde, R., Rainer, G., Kleiner, M., Schneider, B., Wagemans, J., Jenkin, M., Hofer, F., Bülthoff, I., J. M. Boi, G. Bartoli   +82 more
core   +1 more source

The Perception of Automation Reliability and Acceptance of Automated Advice

, 2021
Objective: Examine (1) the extent to which humans can accurately estimate automation reliability and calibrate to changes in reliability, and how this is impacted by the recent accuracy of automation; and (2) factors that impact the acceptance of ...
Simon Farrell, Luke Joseph Gough Strickland, Jack Hutchinson, Shayne Loft   +3 more
core   +1 more source

DATA HIDING IN IMAGES USING COMBINED STEGANOGRAPHY AND CRYPTOGRAPHY [PDF]

, 2016
Nowadays, cyberspace security became very important all over the world. Cryptography and steganography - the art of transforming the code or the plain text into either the encrypted code or a pictures format, as used by the steganography feature, is the ...
Pentsak O. T., Kodlubovskyi D. G., Oksiiuk O. G.   +2 more
core  

Message

, 2019
Message for numerical codes to be published ...
adar hacohen (7419419)
core   +1 more source

The influence of prior issue attitudes on perception bias and perceived message credibility in participatory websites [PDF]

, 2016
Using a simulated participatory website focused on the issue of a smoking ban, this study investigates whether individuals perceive similar messages differently and how their prior issue attitudes relate to perception bias and perceived message ...
Jeon, Jehoon
core   +1 more source

Quantifying the Discord: Order Discrepancies in Message Sequence Charts

, 2007
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSC) are formalisms used to describe scenarios of message passing protocols. We propose using Allen's logic to study the temporal order of the messages. We introduce the concept of {\
Genest, Blaise, Edith Elkind, Elkind, Edith, Peled, Doron, Spoletini, Paola, Paola Spoletini, Blaise Genest, Doron Peled   +7 more
core   +1 more source

The semiotics of the message and the messenger: How nonverbal communication affects fairness perception [PDF]

, 2019
Nonverbal communication determines much of how we perceive explicit, verbal messages. Facial expressions and social touch, for example, influence affinity and conformity.
Ahmed, Imtiaj, Spapé, Michiel, Ravaja, Niklas, Harjunen, Ville, Jacucci, Giulio   +4 more
core   +1 more source

Стеганографический алгоритм, обеспечивающий большую пропускную способность канала скрытой связи

, 2012
В работе предлагается новый стеганографический алгоритм, использующий малоранговые аппроксимации матрицы цифрового изображения в качестве контейнера, обеспечивающий бóльшую по сравнению с методом модификации наименьшего значащего бита пропускную ...
Кобозева, А. А., Альфалуджи, С.   +1 more
core  

V2X Application-Reliability Analysis of Data-Rate and Message-Rate Congestion Control Algorithms

, 2017
Intelligent Transportation Systems (ITS) require Vehicle-to-Everything (V2X) communication. In dense traffic, the communication channel may become congested, impairing the reliability of the ITS safety applications. Therefore, European Telecommunications
Ignas G. Niemegeers, Hong Li, Heemstra de Groot, S.M., Math, C. Belagal, Li, H., Sonia Heemstra de Groot, Niemegeers, I.G.M.M., Chetan Belagal Math   +7 more
core   +1 more source