Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
An anonymous and efficient remote biometrics user authentication scheme in a multi server environment
Springer Science and Business Media LLC - Tập 9 - Trang 142-156 - 2014
As service demands rise and expand single-server user authentication has become unable to satisfy actual application demand. At the same time identity and password based authentication schemes are no longer adequate because of the insecurity of user identity and password. As a result biometric user authentication has emerged as a more reliable and attractive method. However, existing biometric aut......
Foreword to the special section on synchronous programming
Springer Science and Business Media LLC - Tập 7 - Trang 595-597 - 2013
DiagDO: an efficient model based diagnosis approach with multiple observations
Springer Science and Business Media LLC - Tập 17 - Trang 1-10 - 2023
Model-based diagnosis (MBD) with multiple observations shows its significance in identifying fault location. The existing approaches for MBD with multiple observations use observations which is inconsistent with the prediction of the system. In this paper, we proposed a novel diagnosis approach, namely, the Diagnosis with Different Observations (DiagDO), to exploit the diagnosis when given a set o......
A program logic for obstruction-freedom
Springer Science and Business Media LLC - Tập 18 - Trang 1-16 - 2023
Though obstruction-free progress property is weaker than other non-blocking properties including lock-freedom and wait-freedom, it has advantages that have led to the use of obstruction-free implementations for software transactional memory (STM) and in anonymous and fault-tolerant distributed computing. However, existing work can only verify obstruction-freedom of specific data structures (e.g., ......
Gauze: enabling communication-friendly block synchronization with cuckoo filter
Springer Science and Business Media LLC - - 2023
$$\cal{Y}$$ -Tuning: an efficient tuning paradigm for large-scale pre-trained models via label representation learning
Springer Science and Business Media LLC - Tập 18 - Trang 1-10 - 2023
With current success of large-scale pre-trained models (PTMs), how efficiently adapting PTMs to downstream tasks has attracted tremendous attention, especially for PTMs with billions of parameters. Previous work focuses on designing parameter-efficient tuning paradigms but needs to save and compute the gradient of the whole computational graph. In this paper, we propose
......
Algorithms for checking channel passing in web service choreography
Springer Science and Business Media LLC - Tập 7 - Trang 710-728 - 2013
Web service choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, otherwise the execution will get stuck. Since channels are composed dynamically, the initial channel set of each participant is often insufficient to meet the requirements. It is the resp......
Iterative Android automated testing
Springer Science and Business Media LLC - Tập 17 - Trang 1-12 - 2022
With the benefits of reducing time and workforce, automated testing has been widely used for the quality assurance of mobile applications (APPs). Compared with automated testing, manual testing can achieve higher coverage in complex interactive Activities. And the effectiveness of manual testing is highly dependent on the user operation process (UOP) of experienced testers. Based on the UOP, we pr......
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Springer Science and Business Media LLC - - 2017
Tổng số: 820
- 1
- 2
- 3
- 4
- 5
- 6
- 10