Demo Data from EDBT 2026 / reviewers in the wild / expert
Dawei Wang 0004
dblp:39/2537-4 · also Da-Wei Wang 0004
· DBLP profile ↗
39ranked-venue papers
6as first author
5since 2021 · last 2024
0000-0002-9458-9244ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 7 · 4 first-author · 1 since 2021Security and privacy · 6 · 2 first-authorSystems, architecture and hardware · 5Theory of computation · 4Applied, interdisciplinary, general and emerging computing · 4 · 1 since 2021Databases, data management, data science and information retrieval · 3 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Databases, data mining, and information retrieval
1 paper |
Data mining · 100% | |
| Artificial intelligence
1 paper |
Optimization for machine learning · 100% | |
| Computer networks
1 paper |
Internet architecture and protocols · 100% |
Topics — the 3 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Data mining › predictive modeling › classification › cost-sensitive learning
cost-sensitive classification |
0.1 | 1 | 2012 | A simple methodology for soft cost-sensitive classification · KDD 2012 |
Machine learning › Optimization for machine learning
multi-objective optimization |
0.0 | 1 | 2012 | A simple methodology for soft cost-sensitive classification · KDD 2012 |
Internet architecture and protocols
protocol implementation |
0.0 | 1 | 1994 | Reliable Communication Over Unreliable Channels · J. ACM 1994 |
Methods — techniques the papers use, named apart from their topics
regularization · 0.3multi-criteria optimization · 0.3i/o automata · 0.0formal specification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Coordinated Route Recommendation for Improving Social Distancing in a Congested Subway Network
Maria Elsa, Hung-Jui Chang, Dawei Wang 0004, Chih-Wen Hsueh, Tsan-sheng Hsu |
SIMULTECH | 3 |
| 2023 | Building Commuting Flows for an Agent Based Disease Spreading Simulation System Based on Aggregated Information
Hung-Jui Chang, Wei-Ping Goh, Shu-Chen Tsai, Chien-Chi Chang, Mei-Lien Pan, Dawei Wang 0004, Tsan-sheng Hsu |
SIMULTECH | 7 |
| 2022 | Household Structure Projection: A Monte-Carlo based Approach
Wei-Ping Goh, Shu-Chen Tsai, Hung-Jui Chang, Chien-Chi Chang, Mei-Lien Pan, Dawei Wang 0004, Tsan-sheng Hsu |
SIMULTECH | 7 |
| 2021 | Optimal Branch Location for Cost-effective Inference on BranchynetabstractDeep Neural Networks (DNNs) are very popular in many machine learning domains. To achieve higher accuracy, DNNs have become deeper and larger. However, the improvement in accuracy comes with the price of the longer inference time and energy consumption. The marginal cost to increase a unit of accuracy has become higher as the accuracy itself is rising.The Branchynet, known as early exits, is an architecture to address increasing marginal cost for improving accuracy. The Branchynet adds extra side classifiers to a DNN model. The inference on a significant portion of the samples can exit from the network earlier via these side branches if they already have high confidence in the results.The Branchynet requires manually tuning the learning hyperparameters, e.g., the locations of branches and the confidence threshold for early exiting. The effectiveness of this manual tuning dramatically impacts the efficiency of the tuned networks. To the best of our knowledge, there are no efficient algorithms to find the best branch location, which is a trade-off between the accuracy and inference time on the Branchynet.We propose an algorithm to find the optimal branch locations for the Branchynet. We formulate the problem of finding the optimal branch location for the branchynet as an optimization problem, and prove that the branch placement problem is an NPcomplete problem. We then derive dynamic programming that runs in pseudo-polynomial time and solves the branch placement problem optimally.We also implement our algorithm and solve the branch placement problems on four types of VGG networks. The experiment results indicate that our dynamic programming can find the optimal branch locations for generating the maximum number of correct classifications within a given time budget. We also run the four VGG models on a GeForce RTX-3090 GPU with the branch combination found by the dynamic programming. The experiment results show that our dynamic programming accurately predicts the number of correct classifications and the execution time on the GPU. Chang-Han Chiang, Pangfeng Liu, Dawei Wang 0004, Ding-Yong Hong, Jan-Jan Wu |
IEEE BigData | 3 |
| 2021 | Changing of Spreading Dynamics for Infectious Diseases in an Aging Society: A Simulation Case Study on Flu Pandemic
Wei-Ping Goh, Hung-Jui Chang, Mei-Lien Pan, Shu-Chen Tsai, Dawei Wang 0004, Tsan-sheng Hsu |
SIMULTECH | 6 |
| 2019 | Study Simulated Epidemics with Deep Learning
Yu-Ju Chen, Tsan-sheng Hsu, Zong-De Jian, Mei-Lien Pan, Dawei Wang 0004 |
SIMULTECH | 6 |
| 2017 | Learning from Simulated World - Surrogates Construction with Deep Neural Network
Zong-De Jian, Hung-Jui Chang, Tsan-sheng Hsu, Dawei Wang 0004 |
SIMULTECH | 4 |
| 2016 | Searching Vaccination Strategy with Surrogate-assisted Evolutionary ComputingabstractAgent-based stochastic simulation is an established approach to study infectious diseases. Its advantage is the flexibility to incorporate important concepts. The effect of various mitigation strategies has been demonstrated using simulation models. Most of the previous studies compared a few options with a few selected scenarios. We propose to use genetic algorithms to search for the best vaccination strategy for a given scenario with the simulation program as fitness scorer. Vaccination efficacy varies significantly. Therefore, the real challenge is to find a good strategy without the knowledge of it. The simulation software is efficient, yet still takes three minutes to complete a simulation run with Taiwan population. We use surrogate to speed up the search about 1000 times. The surrogate has the average of the absolute value of error around 0.284 percent and the rank correlation coefficient is greater than 0.98 for all the scenarios except one. The optimal solution with surrogate has fitness value very close to use simulations. The difference is generally less than one percent. We envision that an autonomous software searches through the huge scenario space with the help of surrogate function and adaptively executes simulation program to revise the surrogate function to produce higher fidelity surrogate and better search results. Zong-De Jian, Tsan-sheng Hsu, Dawei Wang 0004 |
SIMULTECH | 3 |
| 2015 | The Impact of Household Structures on Pandemic Influenza Vaccination PriorityabstractThe household structure is an important aspect of population based simulation. How to generate a mock population
with specific household structure characteristics is thus an important question. The network structure
is one of the dominant factors for contact-based disease transmission. And household structure is the most
important source of close contact among small groups. We identify the percentage of elderly-children households
as an important character and study the process to generate mock population with specified percentage of
elderly-children households. The generated mock populations are fed into the agent-based simulation module
to study the impact of household structure on vaccination policy. Hung-Jui Chang, Jen-Hsiang Chuang, Yang-Chih Fu, Tsan-sheng Hsu, Chih-Wen Hsueh, Shu-Chen Tsai, Dawei Wang 0004 |
SIMULTECH | 7 |
| 2014 | An Information-Theoretic Approach for Secure Protocol Composition
Yi-Ting Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Yun-Ching Liu, Chih-Hao Shen, Dawei Wang 0004, Justin Zhijun Zhan |
SecureComm (1) | 6 |
| 2014 | A comparison between a deterministic, compartmental model and an individual based-stochastic model for simulating the transmission dynamics of pandemic influenza
Hung-Jui Chang, Jen-Hsiang Chuang, Tsung-Chen Chern, Mart Stein, Richard Coker, Dawei Wang 0004, Tsan-sheng Hsu |
SIMULTECH | 6 |
| 2013 | Floating Point Arithmetic Protocols for Constructing Secure Data Analysis ApplicationabstractA large variety of data mining and machine learning techniques are applied to a wide range of applications today. There- fore, there is a real need to develop technologies that allows data analysis while preserving the confidentiality of the data. Secure multi-party computation (SMC) protocols allows participants to cooperate on various computations while retaining the privacy of their own input data, which is an ideal solution to this issue. Although there is a number of frameworks developed in SMC to meet this challenge, but they are either tailored to perform only on specific tasks or provide very limited precision. In this paper, we have developed protocols for floating point arithmetic based on secure scalar product protocols, which is re- quired in many real world applications. Our protocols follow most of the IEEE-754 standard, supporting the four fundamental arithmetic operations, namely addition, subtraction, multiplication, and division. We will demonstrate the practicality of these protocols through performing various statistical calculations that is widely used in most data analysis tasks. Our experiments show the performance of our framework is both practical and promising. Yun-Ching Liu, Yi-Ting Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Dawei Wang 0004 |
KES | 5 |
| 2012 | A simple methodology for soft cost-sensitive classificationabstractMany real-world data mining applications need varying cost for different types of classification errors and thus call for cost-sensitive classification algorithms. Existing algorithms for cost-sensitive classification are successful in terms of minimizing the cost, but can result in a high error rate as the trade-off. The high error rate holds back the practical use of those algorithms. In this paper, we propose a novel cost-sensitive classification methodology that takes both the cost and the error rate into account. The methodology, called soft cost-sensitive classification, is established from a multicriteria optimization problem of the cost and the error rate, and can be viewed as regularizing cost-sensitive classification with the error rate. The simple methodology allows immediate improvements of existing cost-sensitive classification algorithms. Experiments on the benchmark and the real-world data sets show that our proposed methodology indeed achieves lower test error rates and similar (sometimes lower) test costs than existing cost-sensitive classification algorithms. Te-Kang Jan, Dawei Wang 0004, Chi-Hung Lin, Hsuan-Tien Lin |
KDD | 2 |
| 2012 | A Simple Efficient Technique to Adjust Time Step Size in a Stochastic Discrete Time Agent-based Simulation
Chia-Tung Kuo, Dawei Wang 0004, Tsan-sheng Hsu |
SIMULTECH | 2 |
| 2011 | Cost-Sensitive Classification on Pathogen Species of Bacterial Meningitis by Surface Enhanced Raman ScatteringabstractWe propose a pathogen-classification system using the Surface-Enhanced Raman Scattering (SERS) platform. The system differentiates the pathogens based on their SERS spectra, which are believed to be related to the surface chemical components. The specialty of the system is to not only consider the usual classification accuracy, but also pay attention to the different types of costs during misclassification. For instance, due to the effectiveness of treatments, the cost of classifying a Gram-positive bacterium as another Gram-positive one should be lower than the cost of classifying a Gram-positive bacterium as a Gram-negative one. We express the task as the cost-sensitive classification problem, and take state-of-the-art cost-sensitive classification algorithms from the machine learning community to conquer the task. Our experimental study validates the usefulness of those algorithms on building the system. Te-Kang Jan, Hsuan-Tien Lin, Hsin-Pai Chen, Tsung-Chen Chern, Chung-Yueh Huang, Bing-Cheng Wen, Chia-Wen Chung, Yung-Jui Li, Ya-Ching Chuang, Yu-Jiun Chan, Juen-Kai Wang, Yuh-Lin Wang, Chi-Hung Lin, Dawei Wang 0004 |
BIBM | 15 |
| 2010 | Hybrid SVM/CART classification of pathogenic species of bacterial meningitis with surface-enhanced Raman scatteringabstractBacterial meningitis is still a life-threatening disease, and early diagnosis of pathogen can be crucial to improving survival rate. Using the surface-enhanced Raman scattering (SERS) platform developed by our group, the pathogens can be differentiated on the basis of their SERS spectra which are believed to related to their surface chemical components. We collected the SERS spectra of ten pathogens: Streptococcus pneumoniae(Spn), Streptococcus agalactiae (group B streptococcus, GBS), Staphylococcus aureus (Sa), Pseudomonas aeruginosae (Psa), Acinetobacter baumannii (Ab), Klebsiella pneumoniae (Kp), Neisseria meningitidis (Nm), Listeria monocy-togenes (Lm), Haemophilus influenzae (Hi), and Escherichia coli (E. coli). These samples were obtained from patients in National Taiwan University Hospital, and were believed to represent the real diversity of clinical pathogens. Using the support vector machine (SVM) method, the classification accuracy can achieve around 88%. However, we noted that SVM cannot distinguish between [E. coli, Kp] and [Sa, Hi] due to the fact that the global features of these two groups of pathogens are very similar. We therefore incorporated a classification tree method that can focus on local differences in classification rules. This improved the accuracy to 90%. To get a better understanding of the SERS signals, we also compared several other classification methods. In addition, rule extraction method which attempts to explain why classifier fail or succeed is also discussed. Our preliminary results are interesting, encouraging, and await more thorough investigation. Chung-Yueh Huang, Tsung-Heng Tsai, Bing-Cheng Wen, Chia-Wen Chung, Yung-Jui Li, Ya-Ching Chuang, Wen-Jie Lin, Juen-Kai Wang, Yuh-Lin Wang, Chi-Hung Lin, Dawei Wang 0004 |
BIBM | 12 |
| 2010 | Heterogeneous Subset Sampling
Meng-Tsung Tsai, Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu |
COCOON | 2 |
| 2010 | Privacy-Preserving Collaborative Recommender SystemsabstractCollaborative recommender systems use various types of information to help customers find products of personalized interest. To increase the usefulness of collaborative recommender systems in certain circumstances, it could be desirable to merge recommender system databases between companies, thus expanding the data pool. This can lead to privacy disclosure hazards during the merging process. This paper addresses how to avoid privacy disclosure in collaborative recommender systems by comparing with major cryptology approaches and constructing a more efficient privacy-preserving collaborative recommender system based on the scalar product protocol. Justin Zhijun Zhan, Chia-Lung Hsieh, I-Cheng Wang, Tsan-sheng Hsu, Churn-Jung Liau, Dawei Wang 0004 |
IEEE Trans. Syst. Man Cybern. Part C | 6 |
| 2009 | An Approximation Algorithm and Dynamic Programming for Reduction in Heterogeneous Environments
Pangfeng Liu, May-Chen Kuo, Dawei Wang 0004 |
Algorithmica | 3 |
| 2009 | Optimizing server placement for parallel I/O in switch-based clusters
Jan-Jan Wu, Yi-Fang Lin, Dawei Wang 0004, Chien-Min Wang |
J. Parallel Distributed Comput. | 3 |
| 2009 | Toward Empirical Aspects of Secure Scalar ProductabstractThere is a fair amount of research about privacy, but few empirical studies about its cost have been conducted. In the area of secure multiparty computation, the scalar product has long been reckoned as one of the most promising alternatives to classic logic gates. The reason for this is that the scalar product is not only complete, which is as good as logic gates, but also much more efficient than logic gates. As a result, we set out to study the computation and communication resources needed for some of the most well-known and frequently referenced secure scalar product protocols, including the composite residuosity, the invertible matrix, the polynomial sharing, and the commodity-based approaches. In addition to the implementation details of these approaches, we analyze and compare their execution time, computation time, and memory and random number consumption. Moreover, Fairplay, the benchmark approach that implements Yao's circuit evaluation protocol, is also included in our experiments in order to demonstrate the potential for the scalar products to replace logic gates. I-Cheng Wang, Chih-Hao Shen, Justin Zhijun Zhan, Tsan-sheng Hsu, Churn-Jung Liau, Dawei Wang 0004 |
IEEE Trans. Syst. Man Cybern. Part C | 6 |
| 2007 | Exploiting Spectral Reuse in Resource Allocation, Scheduling, and Routing for IEEE 802.16 Mesh NetworksabstractThe IEEE 802.16 standard for wireless metropolitan area networks (WMAN) has been created to meet the need of wide-range broadband wireless access at low cost. The objective of this paper is to study how to exploit spectral reuse in an IEEE 802.16 mesh network through timeslot allocation, bandwidth adaptation, hierarchical scheduling, and routing. To the best of our knowledge, this is the first work which formally quantifies spectral reuse in IEEE 802.16 mesh networks and which exploits spectral efficiency under an integrated framework. Simulation results show that the proposed spectral reuse scheduling and load-aware routing significantly enhance the network throughput performance in IEEE 802.16 mesh networks. Lien-Wu Chen, Yu-Chee Tseng, Dawei Wang 0004, Jan-Jan Wu |
VTC Fall | 3 |
| 2007 | An epistemic framework for privacy protection in database linking
Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu |
Data Knowl. Eng. | 1 |
| 2006 | Information Theoretical Analysis of Two-Party Secret Computation
Dawei Wang 0004, Churn-Jung Liau, Yi-Ting Chiang, Tsan-sheng Hsu |
DBSec | 1 |
| 2006 | Privacy Protection in Social Network Data Disclosure Based on Granular ComputingabstractSocial network analysis is an important methodology in sociological research. Though social network data is very useful to researchers and policy makers, releasing such data to the public may cause an invasion of privacy. We generalize the techniques for protecting personal privacy in tabulated data, and propose some metrics of anonymity for assessing the risk of breaching confidentiality by disclosing social network data. We assume a situation of data publication, where data is released to the general public. We adopt description logic as the underlying knowledge representation formalism, and consider the metrics of anonymity in open world and closed world contexts respectively. Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu |
FUZZ-IEEE | 1 |
| 2006 | Generalized Edge Coloring for Channel Assignment in Wireless NetworksabstractThis paper introduces a new graph theory problem called generalized edge coloring (g.e.c). A generalized edge coloring is similar to traditional edge coloring, with the difference that a vertex can be adjacent to up to k edges that share the same color. The concept of generalized edge coloring can be used to formulate the channel assignment problem in multi-channel multi-interface wireless networks. We provide theoretical analysis for this problem. Our theoretical findings can be useful for system developers of wireless networks. We show that when k = 3, there are graphs that do not have generalized edge coloring that could achieve the minimum number of colors for every vertex. On the contrary, when k = 2 we show that if we are given one extra color, we can find a generalized edge coloring that uses the minimum number of colors for each vertex. In addition, we show that for certain classes of graphs we are able to find a generalized edge coloring that uses the minimum number of colors for every vertex without the extra color. These special classes of graphs include bipartite graph, graphs with a power of 2 maximum degree, or graphs with maximum degree no more than 4 Chun-Chen Hsu, Pangfeng Liu, Dawei Wang 0004, Jan-Jan Wu |
ICPP | 3 |
| 2006 | Value versus damage of information release: A data privacy perspective
Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu, Jeremy K.-P. Chen |
Int. J. Approx. Reason. | 1 |
| 2005 | Secrecy of Two-Party Secure Computation
Yi-Ting Chiang, Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu |
DBSec | 2 |
| 2004 | On The Damage and Compensation of Privacy LeakageabstractA query on the distribution of a sensitive field within a selected population in a database can be submitted to the data center, and the answer to this query can leak private information, even though no identification information is provided. Inspired by decision theory, we present a quantitative model of the privacy protection problem in such a database query environment. In our model, the user information states are defined as classes of probability distributions on the set of possible confidential values. These states can be modified and refined by knowledge acquisition actions. The data confidentiality is guaranteed by ensuring that misusing private information is more costly than any possible gain. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves. Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu, Jeremy K.-P. Chen |
DBSec | 1 |
| 2004 | Medical privacy protection based on granular computing
Dawei Wang 0004, Churn-Jung Liau, Tsan-sheng Hsu |
Artif. Intell. Medicine | 1 |
| 2003 | Efficient Parallel I/O Scheduling in the Presence of Data DuplicationabstractWe investigate the problem of scheduling parallel I/O operations on systems that provide data replication. The objective is to direct each compute node to access data from an I/O node where the data is duplicated, in such a way that requests for data are evenly distributed among I/O nodes. We identify a necessary and sufficient condition on whether the current data request pattern can be improved, in terms of the maximum number of data requests on any I/O node. We propose an augmenting path algorithm that examines this necessary and sufficient condition, and adjusts the current data request pattern accordingly. Using network flow technique, we show that the augmenting path algorithm finds an optimal assignment in O(nmlogn+n/sup 2/Iog/sup 3/2/n) time. Pangfeng Liu, Dawei Wang 0004, Jan-Jan Wu |
ICPP | 2 |
| 2003 | Placement of I/O servers to improve parallel I/O performance on switch-based clustersabstractSwitch-based clusters -- Network of Workstations/PCs connected by commodity switches, have been an appealing vehicle for high-performance computing. Despite their attractive features, cluster systems still have some limits when compared with traditional massively parallel machines. First, cluster systems usually have limited number of processing nodes, making full utilization of the computing power provided by each processing node a critical issue. Secondly, cluster systems are usually constructed with slower interconnects, making the network speed, not the disk speed, the limiting factor for parallel I/O performance.The notion of part-time I/O is commonly used for I/O in clusters, where a subset of processing nodes become I/O nodes at I/O time and return to computation after finishing the I/O operation. Careful assignment of part-time I/O nodes is the key to overcoming the above two limiting factors. Prior work reported an optimal assignment strategy for cluster systems with shared-media interconnects, based on an optimization that minimizes total amount of remote data transfers in parallel I/O. In this paper, we show that load balance on the I/O nodes, not the total amount of remote data transfers, is the key optimization criteria for assigning part-time I/O nodes for switch-based clusters. We formulate the assignment problem as a weighed bipartite matching with the goal to balance workload on the I/O nodes. We then propose an O(n3over2m(logn + logm)) algorithm to find optimal solution for this problem, where n is the number of compute nodes and m the number of I/O nodes. Experimental results on a 16-node PC cluster and simulation results for larger clusters are reported. Jan-Jan Wu, Dawei Wang 0004, Yih-Fang Lin |
ICS | 2 |
| 2003 | An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters
Pangfeng Liu, Dawei Wang 0004, Yi-Heng Guo |
RTCSA | 2 |
| 2002 | Quantifying Privacy Leakage through Answering Database Queries
Tsan-sheng Hsu, Churn-Jung Liau, Dawei Wang 0004, Jeremy K.-P. Chen |
ISC | 3 |
| 2001 | A Logical Model for Privacy Protection
Tsan-sheng Hsu, Churn-Jung Liau, Dawei Wang 0004 |
ISC | 3 |
| 2001 | Lower bounds for wide-sense nonblocking Clos network
Kuo-Hui Tsai, Dawei Wang 0004, Frank K. Hwang |
Theor. Comput. Sci. | 2 |
| 2000 | Reduction Optimization in Heterogeneous Cluster EnvironmentsabstractNetwork of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, it is now possible to build a cluster that provides high computing power within a limited budget. However, a cluster may consist of different types of processors and this heterogeneity complicates the design of efficient collective communication protocols. For example, it is a very hard combinatorial problem to find an optimal reduction schedule for such heterogeneous clusters. Nevertheless, we show that a simple technique called slowest-node-first (SNF) is very effective in designing efficient reduction protocols for heterogeneous clusters. First, we show that SNF is actually an approximation algorithm with competitive ratio two. In addition, we show that SNF does give the optimal reduction time when the cluster consists of two types of processors, anal the ratio of communication speed between them is at least two. Pangfeng Liu, Dawei Wang 0004 |
IPDPS | 2 |
| 1996 | Steiner Problems on Directed Acyclic Graphs
Tsan-sheng Hsu, Kuo-Hui Tsai, Dawei Wang 0004, D. T. Lee |
COCOON | 3 |
| 1994 | Reliable Communication Over Unreliable ChannelsabstractLayered communicationprotocols frequently implement a FIFO message fiacility cm top of an unrehable non-FIFO serwce such as that provided hy a packet-swltchmg network.This paper investigates the possibdity of Implementing a reliable message layer on top of an underlying layer that can low packets and deliver them out of order, with the addltlonzd restriction that the implementatmn uses only a fixed fimte number of different packets.A new formalism is presented to spcclfy communication layers and their properties, the notion of their implementation by 1/0 automata.and the properties of such implementations.An 1/0 automaton that Implements a rellable layer over an unreliable layer is presented In this implementation, tbe number ot packets needed to deliver each succeeding message increases permanently as additional packet-loss and reordering faults occur.A proof is gwen that no protocol can avoid such performance degradatmn. Yehuda Afek, Hagit Attiya, Alan D. Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Dawei Wang 0004, Lenore D. Zuck |
J. ACM | 7 |