Home »
Academic Articles & Research Papers
Showing 20 of 3,336 academic articles
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino • Electronic Proceedings in Theoretical Computer Science
(2011)
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calcul...
OPENALEX
cc-by-nc-nd
DOI: https://doi.org/10.4204/eptcs.59.11
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
Vivek S Kale • CRC Press eBooks
(2019)
This chapter provides an introduction to distributed computing as a foundation for better understanding of cloud-enabled business processes. Distributed systems constitute of a large umbrella under which several different software systems a...
OPENALEX
DOI: https://doi.org/10.1201/9781351029148-5
Vivek S Kale • Auerbach Publications eBooks
(2017)
This chapter addresses the issues involved in distributed databases, where a database is stored on more than one computer. It provides an introduction to parallel and distributed computing as a foundation for the better understanding of clo...
OPENALEX
DOI: https://doi.org/10.4324/9781315368559-5
Vivek S Kale • CRC Press eBooks
(2018)
The origins of big data technologies come from database systems and distributed systems as well as data mining and machine learning algorithms that can process these vast amounts of data to extract the necessary knowledge. This chapter addr...
OPENALEX
DOI: https://doi.org/10.1201/9780429453311-9
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
Adrian Francalanza, Andrew Amato Gauci, Gordon J. Pace • The Journal of Logic and Algebraic Programming
(2013)
OPENALEX
Open Access
DOI: https://doi.org/10.1016/j.jlap.2013.04.001
Keith A. Lantz • UR Research (University of Rochester)
(1980)
In designing a distributed system it is useful to distinguish between services provided to end-users and services provided to programs. The first type of service is provided by the user interface, the second by the system interface. Both us...
OPENALEX
Open Access
Michel Raynal, Jean-Michel Hélary • International Linear Collider
(1990)
Part 1 Different forms of synchronization between processes: distributed systems, networks, and networks of processes synchronization. Part 2 The concept of a wave, and synchronization by wave train: wave algorithms example of use - computa...
OPENALEX
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
Anna Hác • ACM SIGMETRICS Performance Evaluation Review
(1989)
Most distributed systems are characterized by distribution of both physical and logical features. The architecture of a distributed system is usually modular. Most distributed systems support a varying number of processing elements. The sys...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/1041911.1041912
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
John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas E. Anderson et al. (2008)
Internet routing protocols (BGP, OSPF, RIP) have traditionally favored responsiveness over consistency. A router applies a received update immediately to its forwarding table before propagating the update to other routers, including those t...
OPENALEX
Bernadette Charron-Bost • Information Processing Letters
(1991)
OPENALEX
DOI: https://doi.org/10.1016/0020-0190(91)90055-m
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Roşu • ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
(2004)
This paper presents a variant of past time linear temporal logic, called PT-DTL, suitable for expressing temporal properties of distributed systems. The formulae in this logic are given with respect to a particular process and are interpret...
OPENALEX
DOI: https://doi.org/10.1109/icse.2004.1317464
Michel Raynal, Mukesh Singhal • Computer
(1996)
Causality is vital in distributed computations. Distributed systems can determine causality using logical clocks. Human beings use the concept of causality to plan, schedule, and execute an enterprise, or to determine a plan's feasibility. ...
OPENALEX
DOI: https://doi.org/10.1109/2.485846
Gul Agha • DSpace@MIT (Massachusetts Institute of Technology)
(1986)
A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors is constrained only...
OPENALEX
cc-by-nc
• Issues in Information Systems
(2024)
Small and Medium-sized Enterprises (SMEs) all over the world are the very heart of economic growth.SMEs drive economic growth worldwide.However, unlike most behemoths, they lack the resources and experience to tackle cybersecurity threats c...
OPENALEX
cc-by-nc-nd
DOI: https://doi.org/10.48009/1_iis_2024_120
Mihails Potapovs, Kate E. Kanasta • Routledge eBooks
(2025)
Drawing on expertise from professionals, government officials, and academics, this book uncovers the proactive measures taken by Latvia to build resilient cybersecurity capabilities. The work offers a comprehensive exploration of Latvia’s c...
OPENALEX
cc-by-nc-sa
DOI: https://doi.org/10.4324/9781003638858
Siva Raja Sindiramutty, Noor Zaman Jhanjhi, Chong Eng Tan, Navid Ali Khan et al. • Advances in information security, privacy, and ethics book series
(2024)
The logistics sector plays a crucial role in the worldwide economy by facilitating the efficient and punctual transportation of commodities and services. Nevertheless, the growing reliance on technological and digital infrastructure has hig...
OPENALEX
DOI: https://doi.org/10.4018/979-8-3693-3816-2.ch001