Results 11 to 20 of about 1,673,370 (312)
Deep Spatial-Temporal Neural Network for Dense Non-Rigid Structure from Motion
Mathematics, 2022 Dense non-rigid structure from motion (NRSfM) has long been a challenge in computer vision because of the vast number of feature points. As neural networks develop rapidly, a novel solution is emerging.
Yaming Wang +4 more
doaj +1 more source
Blockchain-Based Federated Learning System: A Survey on Design Choices
Sensors, 2023 The vanilla federated learning is made for a trusted environment, while in contrast, its actual use cases require collaborations in an untrusted setting.
Yustus Eko Oktian, Sang-Gon Lee
doaj +1 more source
On the Composition of Design Patterns [PDF]
2008 The Eighth International Conference on Quality Software, 2008 Design patterns are usually applied in a composed form with each other. It is crucial to be able to formally reason about how patterns can be composed and to prove the properties of composed patterns. Based on our previous work on formal specification of design patterns and formal reasoning about their properties, this paper focuses on the composition ...
Bayley, I, Zhu, H
openaire +2 more sources
Towards Pattern-Based Change Verification Framework for Cloud-Enabled Healthcare Component-Based
IEEE Access, 2020 To survive in the competitive environment, most organizations have adopted component-based software development strategies in the rapid technology advancement era and the proper utilization of cloud-based services.
Sadia Ali +7 more
doaj +1 more source
Reconfigurable Smart Contracts for Renewable Energy Exchange with Re-Use of Verification Rules
Applied Sciences, 2022 Smart contracts constitute the foundation for blockchain distributed applications. These constructs enable transactions in trustless environments using consensus algorithms and software-controlled verification rules.
Tomasz Górski
doaj +1 more source
On the Composability of Design Patterns [PDF]
IEEE Transactions on Software Engineering, 2015 In real applications, design patterns are almost always to be found composed with each other. It is crucial that these compositions be validated. This paper examines the notion of validity, and develops a formal method for proving or disproving it, in a context where composition is performed with formally defined operators on formally specified ...
Zhu, H, Bayley, I
openaire +2 more sources
First Case Report of an Unusual Echis genus (Squamata: Ophidia: Viperidae) Body Pattern Design in Iran [PDF]
Archives of Razi Institute, 2019 Three families of venomous snakes exist in Iran including Viperidae, Elapidae, and Hydrophidae. Viperidae family is the only family with a widespread distribution. Saw-scaled vipers are important poisonous snakes in Asia and Africa. This name is given to
S. Navidpour +2 more
doaj +1 more source
Sensors, 2011 Intelligent sensors experience security problems very similar to those inherent to other kinds of IT products or systems. The assurance for these products or systems creation methodologies, like Common Criteria (ISO/IEC 15408) can be used to improve the ...
Andrzej Bialas
doaj +1 more source
Service Value Broker Patterns: An Empirical Collection and Analysis [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2014 The service value broker(SVB) pattern integrates business modeling, knowledge management and economic anal- ysis with relieved complexity, enhanced reusability and effi- ciency,etc.
Yucong Duan +5 more
doaj +1 more source
ACM Transactions on Software Engineering and Methodology, 2013 In a pattern-oriented software design process, design decisions are made by selecting and instantiating appropriate patterns, and composing them together. In our previous work, we enabled these decisions to be formalized by defining a set of operators on patterns with which instantiations and compositions can be represented.
Zhu, H, Bayley, I
openaire +2 more sources