Middleware support is a major topic in pervasive computing. Existing studies mainly address the issues in the organization of and the collaboration amongst devices and services, but pay little attention to the design ...
详细信息
software process improvement (SPI) is a field of research and practice focused on improving the practice of softwareengineering by frequently introducing new methods and technical tools attuned to the managerial and ...
详细信息
In this paper, we propose a simple but robust scheme to detect denial of service attacks (including distributed denial of service attacks) by monitaring the increase of new IP addresses. Unlike previous proposals for ...
详细信息
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labeled transition systems, and formats of transition system specifications usi...
详细信息
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labeled transition systems, and formats of transition system specifications using Plotkin's structural approach. For several preorders in the linear time-branching time spectrum a format is given, as general as possible, such that this preorder is a precongruence for all operators specifiable in that format. The formats are derived using the modal characterizations of the corresponding preorders.
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements elicitation phase. An effective technique...
详细信息
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements elicitation phase. An effective technique to resolve such a conflict is needed. We presented a framework that prioritizes software requirements gathered from multiple stakeholders by incorporating inter-perspective relationships, which is not addressed by existing priority assessment techniques. We use a relationship matrix to analyze the impact between requirements and facilitate the integration process which assesses their priorities based on their relationships from multiple perspectives. It allows the development team to resolve conflicts effectively and concentrate their valuable time and resources on the critical few requirements from multiple perspectives that directly contribute to high customer satisfaction.
We have been developing a tool to enhance the use of metrics during software development. This tool is a metrics visualization environment that graphically depicts the innate structure of software through a module sig...
详细信息
We have been developing a tool to enhance the use of metrics during software development. This tool is a metrics visualization environment that graphically depicts the innate structure of software through a module signature along with an element of time. We call the tool module metric signature (MMS) visualization.
Unlike today where the majority of diagrams are static, life-less objects reflecting their origin in print media, the computer of the near future will provide more flexible visual computer interfaces in which diagrams...
详细信息
There have been many researches to improve the performance of TCP operating in wireless link. A lot of prior work in this direction, however, has focused on avoiding the case of a TCP sender misinterpreting packet los...
详细信息
ISBN:
(纸本)0780384725
There have been many researches to improve the performance of TCP operating in wireless link. A lot of prior work in this direction, however, has focused on avoiding the case of a TCP sender misinterpreting packet losses in the wireless link as congestion signals. In cdma2000, however, a reliable RLP ensures that packets are delivered in order and help to recover form packets received in error. In this paper, we have measured the performance of transport layer protocols on a nationally deployed commercial cdma2000-1x network. We used a cellular phone itself to measure the performance through modifications of Qualcomm TCP/UDP stack. We mainly focus on the large delay variation and excessive queueing in cdma2000-1x. And it is evitable for traditional TCP to accumulate segment at the buffer of bottleneck link, because TCP's congestion control algorithm would fill the entire router buffer before incurring packet loss. The primary goal of our work is to analyze the exact characteristics of cdma2000-1x, and maintains the queue length at bottleneck link can be stable without changing the TCP sender.
暂无评论