A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility (KLAIM). KLAIM is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.1098/rsta.2008.0148 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
A Dual-Pathway Responsive Mechanophore for Intelligent Luminescent Polymer Materials.
J Am Chem Soc
January 2025
Stoddart Institute of Molecular Science, Department of Chemistry, Zhejiang University, Hangzhou 310058, PR China.
Mechanoluminescent units, when integrated into polymer matrices, undergo structural transformations in response to mechanical force, resulting in changes in fluorescence. This phenomenon holds considerable promise for the development of stress-sensing materials. Despite the high demand for robust, tunable mechanoluminescent mechanophores for force assessment and smart force-responsive materials, strategies for their design and synthesis remain underdeveloped.
View Article and Find Full Text PDFClassifying tumour infiltrating lymphocytes in oral squamous cell carcinoma histopathology using joint learning framework.
Sci Rep
January 2025
Electrical and Computer Engineering Department, University of Memphis, Memphis, TN, 38152, USA.
Oral squamous cell carcinoma (OSCC) is the most common form of oral cancer, with increasing global incidence and have poor prognosis. Tumour-infiltrating lymphocytes (TILs) are recognized as a key prognostic indicator and play a vital role in OSCC grading. However, current methods for TILs quantification are based on subjective visual assessments, leading to inter-observer variability and inconsistent diagnostic reproducibility.
View Article and Find Full Text PDFReal-time detection and monitoring of public littering behavior using deep learning for a sustainable environment.
Sci Rep
January 2025
Computer Science Department, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia.
With the global population surpassing 8 billion, waste production has skyrocketed, leading to increased pollution that adversely affects both terrestrial and marine ecosystems. Public littering, a significant contributor to this pollution, poses severe threats to marine life due to plastic debris, which can inflict substantial ecological harm. Additionally, this pollution jeopardizes human health through contaminated food and water sources.
View Article and Find Full Text PDFDynamic analysis and optimal control of a hybrid fractional monkeypox disease model in terms of external factors.
Sci Rep
January 2025
Department of Mathematics and Statistics, College of Science, Taif University, P.O. Box 11099, 21944, Taif, Saudi Arabia.
The monkeypox virus (MPXV), which is a member of the Orthopoxvirus genus in the class Poxviridae, is the causative agent of the zoonotic viral infection MPXV. The disease is similar to smallpox, but it is usually less dangerous. This study examines the evolution of the MPXV epidemic in Canada with an emphasis on the effects of control employing actual data.
View Article and Find Full Text PDFIdentification of potential biomarkers for 2022 Mpox virus infection: a transcriptomic network analysis and machine learning approach.
Sci Rep
January 2025
Department of Biochemistry and Molecular Biology, Shahjalal University of Science and Technology, Sylhet, 3114, Bangladesh.
Monkeypox virus (MPXV), a zoonotic pathogen, re-emerged in 2022 with the Clade IIb variant, raising global health concerns due to its unprecedented spread in non-endemic regions. Recent studies have shown that Clade IIb (2022 MPXV) is marked by unique genomic mutations and epidemiological behaviors, suggesting variations in host-virus interactions. This study aimed to identify the differentially expressed genes (DEGs) induced by the 2022 MPXV infection through comprehensive bioinformatics analyses of microarray and RNA-Seq datasets from post-infected cell types with different MPXV clades.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!