Compositional reasoning about active objects with shared futures

CC Din, O Owe - Formal Aspects of Computing, 2015 - Springer
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. The …

Towards self-organizing distributed computing frameworks: The H2O approach

D Kurzyniec, T Wrzosek, D Drzewiecki… - Parallel Processing …, 2003 - World Scientific
A novel component-based, service-oriented framework for distributed metacomputing is
described. Adopting a provider-centric view of resource sharing, this framework emphasizes …

[HTML][HTML] A sound and complete reasoning system for asynchronous communication with shared futures

CC Din, O Owe - Journal of Logical and Algebraic Methods in …, 2014 - Elsevier
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. We …

Simple asynchronous remote invocations for distributed real-time java

PB Val, M Garcia-Valls… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
More and more, the use of real-time distribution middlewares programmed with high-level
languages like Java is becoming of interest for industrial systems because this type of …

[PDF][PDF] A framework for develo** component based cooperative applications

DA Tietze - 2001 - kom.tu-darmstadt.de
An increasing portion of people's tasks within today's modern work and office environments
is no longer performed individually, by a single employee working alone on his or her task …

Unveiling the Achilles' Heel: A Comprehensive Exploration of Vulnerabilities in RMI and Bindshell Communication

AP Joshi, N Kaur, A Kaur - 2024 11th International Conference …, 2024 - ieeexplore.ieee.org
In the world of penetration testing and cybersecurity, gaining remote access and control is a
critical step towards system exploitation. The research presented here explores the …

[PDF][PDF] AdJava-Automatic Distribution of Java Applications.

MM Fuad, MJ Oudshoorn - ACSC, 2002 - Citeseer
The majority of the world's computing resources remains idle most of the time. By using this
resource pool, an individual computation may be completed in a fraction of time required to …

Adapting Java RMI for grid computing

M Alt, S Gorlatch - Future Generation Computer Systems, 2005 - Elsevier
Computational grids allow the users to run their applications on remote high-performance
servers available via Internet. Java is often used to develop portable grid applications, with …

Compositional reasoning about shared futures

CC Din, J Dovland, O Owe - … on Software Engineering and Formal Methods, 2012 - Springer
Distributed and concurrent object-oriented systems are difficult to analyze due to the
complexity of their concurrency, communication, and synchronization mechanisms. The …

[PDF][PDF] Dynamic updates of existing Java applications

RP Bialek - 2006 - Citeseer
This dissertation is about allowing existing applications to be updated while running. By
combining research results from the areas of software updates, dynamic systems, and …