Reset
Showing 20 of 101 academic articles

The Study of Meaning and the Meaning of Life

Eseohe Glory Okoedion, Ugo Chuks Okolie • Journal of Danubian Studies and Research (2019)

In one form or another, the phenomena associated with “meaning transfer” become central issues in a lot of recent work on semantics. This study is our contribution towards clarifying the expression “The Meaning of Life” in the proceedings...

DOAJ Open Access (DOAJ)

Elaborating a Methodology for Gauging a Politician’s Communicative Personality

Denis S. Mukhortov, Elizaveta A. Zhovner • RUDN Journal of Language Studies, Semiotics and Semantics (2025)

Communicative behaviour studies require using numerous methodological approaches depending on the goal and tasks of research. Linguopolitical personology conceives of political communication as an institutionalized phenomenon aimed at holdi...

DOAJ Open Access (DOAJ) DOI: 10.22363/2313-2299-2025-16-1-278-290

A Comparison of Energy Consumption and Quality of Solutions in Evolutionary Algorithms

Francisco Javier Luque-Hernández, Sergio Aquino-Britez, Josefa Díaz-Álvarez, Pablo García-Sánchez • Algorithms (2025)

Evolutionary algorithms are extensively used to solve optimisation problems. However, it is important to consider and reduce their energy consumption, bearing in mind that programming languages also significantly affect energy efficiency. T...

DOAJ Open Access (DOAJ) DOI: 10.3390/a18090593

Distributed Systems

Pranabananda Chakraborty • Chapman & Hall/CRC eBooks (2023)

This chapter demystifies computing systems consisting of multiple CPUs, shared and distributed memory, and different types of I/O in the form of multiprocessors and multicomputers that eventually gave rise to distributed computing systems a...

OPENALEX DOI: https://doi.org/10.1201/9781003383055-9

Distributed System Design with Message Sequence Charts

Ingolf H. Krüger • mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) (2000)

The methodical mastery of interaction scenarios is a key factor for capturing and modeling system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) and variants thereof are well-accepted as a graphical descriptio...

OPENALEX Open Access

About logical clocks for distributed systems

Michel Raynal • ACM SIGOPS Operating Systems Review (1992)

Memory space and processor time are basic resources when executing a program. But beside this implementation aspect (this time resource is necessary but does not belong to the program semantics), the concept of time presents a more fundamen...

OPENALEX Open Access DOI: https://doi.org/10.1145/130704.130708

A Behavioral SIQR-B Model for Cholera Transmission: Impact of Adaptive Risk Perception on Disease Dynamics

Pedro Pablo Cárdenas Alzate, Jaime Alberto Echeverri Franco, Jacobo Echeverri Hoyos • Epidemiologia (2026)

Background/Objectives: Cholera remains a major public health problem, particularly in regions with limited access to safe drinking water and sanitation. Traditional compartmental models may underrepresent adaptive human behavioral responses...

DOAJ Open Access (DOAJ) DOI: 10.3390/epidemiologia7050142

An axiomatic basis of trust in distributed systems

P. Venkat Rangan • IEEE Symposium on Security and Privacy (S&P) (2003)

He introduces basic notions about developing a logic or a theory, and shows that modal logics of belief, with their Kripe-style possible-worlds semantics, are appropriate for basing a theory of trust on. He reviews a modal logic of belief, ...

OPENALEX DOI: https://doi.org/10.1109/secpri.1988.8112

Authorization in distributed systems: a formal approach

Thomas Y. C. Woo, Simon S. Lam • IEEE Computer Society Symposium on Research in Security and Privacy (2003)

It is argued that authorization is an independent semantic concept that must be separated from implementation mechanisms and given a precise semantics. A logical approach to representing and evaluating authorization is proposed. Specificall...

OPENALEX DOI: https://doi.org/10.1109/risp.1992.213272

Transparency and reflection in distributed systems

Robert J. Stroud • ACM SIGOPS Operating Systems Review (1993)

The recursive composition of systems to form functionally equivalent transparently distributed systems is an important paradigm for constructing distributed systems. The extent to which such recursive transparency can be achieved depends cr...

OPENALEX Open Access DOI: https://doi.org/10.1145/155848.155866

Orca: a language for parallel programming of distributed systems

Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum • IEEE Transactions on Software Engineering (1992)

A detailed description is given of the Orca language design and the design choices are discussed. Orca is intended for applications programmers rather than systems programmers. This is reflected in its design goals to provide a simple, easy...

OPENALEX Open Access DOI: https://doi.org/10.1109/32.126768

Verdi: a framework for implementing and formally verifying distributed systems

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock et al. • ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2015)

Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often t...

OPENALEX Open Access DOI: https://doi.org/10.1145/2737924.2737958