Results 41 to 50 of about 11,258,293 (306)
Verification of Liveness Properties in Distributed Systems
, 2009 This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement.
Yadav, Divakar +3 more
core +2 more sources
Distributed control of multi-robot systems using bifurcating potential fields [PDF]
, 2010 The distributed control of multi-robot systems has been shown to have advantages over conventional single robot systems. These include scalability, flexibility and robustness to failures.
Bennet, Derek J., McInnes, C.R.
core +4 more sources
Flexible Resolution of Authorisation Conflicts in Distributed Systems [PDF]
, 2008 Flexible Resolution of Authorisation Conflicts in Distributed ...
Dong, C +13 more
core +1 more source
Household CO2-efficient energy management
Energy Informatics, 2018 Residential and commercial buildings are responsible for one third of the total (CO2) emissions in the European Union, which are the main cause of global warming.
Laura Fiorini, Marco Aiello
doaj +1 more source
The Road to Accountable and Dependable Manufacturing
Automation, 2021 The Internet of Things provides manufacturing with rich data for increased automation. Beyond company-internal data exploitation, the sharing of product and manufacturing process data along and across supply chains enables more efficient production flows
Jan Pennekamp +4 more
doaj +1 more source
A JND-Based Pixel-Domain Algorithm and Hardware Architecture for Perceptual Image Coding
Journal of Imaging, 2019 This paper presents a hardware efficient pixel-domain just-noticeable difference (JND) model and its hardware architecture implemented on an FPGA. This JND model architecture is further proposed to be part of a low complexity pixel-domain perceptual ...
Zhe Wang +3 more
doaj +1 more source
Supporting Distributed Systems of Distributed Systems
, 2022 122 pages ; The prevalence, scale, and complexity of cloud-based applications are growing rapidly. These distributed applications adopt multi-tiered designs where each tier is composed of many distributed components. Their design is dynamic to match changing workloads and requirements: a component can be added, removed, or replaced with distributed ...
openaire +2 more sources
Monitoring distributed systems [PDF]
ACM Transactions on Computer Systems, 1987 The monitoring of distributed systems involves the collection, interpretation, and display of information concerning the interactions among concurrently executing processes. This information and its display can support the debugging, testing, performance evaluation, and dynamic documentation of distributed systems.
Jeffrey Joyce +3 more
openaire +2 more sources
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
Pediatric Blood &Cancer, EarlyView.ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
The DiscoDNC v2 – A Comprehensive Tool for Deterministic Network Calculus [PDF]
EAI Endorsed Transactions on Internet of Things, 2015 In this paper, we present the Disco Deterministic Network Calculator v2 – our continuation in the effort to provide open-source tool support for worst-case performance analysis.
Steffen Bondorf, Jens Schmitt
doaj +1 more source