Component-based distributed software reconfiguration: a verification-oriented survey

H Coullon, L Henrio, F Loulergue… - ACM Computing Surveys, 2023 - dl.acm.org
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

Detection of region duplication forgery in digital images using wavelets and log-polar map**

AN Myna, MG Venkateshmurthy… - International Conference …, 2007 - ieeexplore.ieee.org
Due to the abundantly available imaging technologies, manipulation of digital images has
become a serious problem nowadays, in various fields like medical imaging, digital …

Toward safe and efficient reconfiguration with concerto

M Chardet, H Coullon, S Robillard - Science of Computer Programming, 2021 - Elsevier
For large-scale distributed systems that need to adapt to a changing environment,
conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations …

Exogenous coordination of concurrent software components with JavaBIP

S Bliudze, A Mavridou, R Szymanek… - Software: Practice …, 2017 - Wiley Online Library
A strong separation of concerns is necessary in order to make the design of domain‐specific
functional components independent from cross‐cutting concerns, such as concurrent access …

The active components approach for distributed systems development

A Pokahr, L Braubach - International Journal of Parallel, Emergent …, 2013 - Taylor & Francis
The development of distributed systems is an intricate task due to inherent characteristics of
such systems. In this paper these characteristics are categorised into software engineering …

Develo** distributed systems with active components and Jadex

L Braubach, A Pokahr - Scalable Computing: Practice and Experience, 2012 - scpe.org
Scalable Computing: Practice and Experience Volume 13, Number 2, pp. 100–119. http://www.scpe.org
ISSN 1895-1767 c 2012 SCPE D Page 1 Scalable Computing: Practice and Experience …

Cooperative Specification via Composition Control

CA Esterhuyse, LT van Binsbergen - Proceedings of the 17th ACM …, 2024 - dl.acm.org
High-level, declarative specification languages are typically highly modular: specifications
are comprised of fragments that are themselves meaningful. As such, complex specifications …

[HTML][HTML] Behavioural semantics for asynchronous components

R Ameur-Boulifa, L Henrio, O Kulankhina… - Journal of Logical and …, 2017 - Elsevier
Software components are a valuable programming abstraction that enables a compositional
design of complex applications. In distributed systems, components can also be used to …

Component approach to computational applications on clouds

M Malawski, J Meizner, M Bubak, P Gepner - Procedia Computer Science, 2011 - Elsevier
Running computational science applications on the emerging cloud infrastructures requires
appropriate programming models and tools. In this paper we investigate the applicability of …

[PDF][PDF] A microservice architecture for the processing of large geospatial data in the cloud

M Krämer - 2018 - diglib.eg.org
With the growing number of devices that can collect spatiotemporal information, as well as
the improving quality of sensors, the geospatial data volume increases constantly. Before …