Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756746
Saad Biaz, Nitin H. Vaidya
We present a simple scheme which enables a TCP receiver to distinguish congestion losses from corruption losses. The scheme works in the case where the last hop to the receiver is a wireless link and has the smallest bandwidth among all links on the connection path. We added our mechanism to TCP-Reno to evaluate the performance improvement. We compared our scheme against Ideal TCP-Reno which is TCP-Reno that can perfectly (but artificially) distinguish between congestion losses and wireless transmission losses. Under favourable conditions, our scheme performs similar to Ideal TCP-Reno and can lead to significant throughput improvement.
{"title":"Discriminating congestion losses from wireless losses using inter-arrival times at the receiver","authors":"Saad Biaz, Nitin H. Vaidya","doi":"10.1109/ASSET.1999.756746","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756746","url":null,"abstract":"We present a simple scheme which enables a TCP receiver to distinguish congestion losses from corruption losses. The scheme works in the case where the last hop to the receiver is a wireless link and has the smallest bandwidth among all links on the connection path. We added our mechanism to TCP-Reno to evaluate the performance improvement. We compared our scheme against Ideal TCP-Reno which is TCP-Reno that can perfectly (but artificially) distinguish between congestion losses and wireless transmission losses. Under favourable conditions, our scheme performs similar to Ideal TCP-Reno and can lead to significant throughput improvement.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"82 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128730388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756745
S. Yacoub, H. Ammar
Recently, there has been a great demand for distributed medical imaging systems to share information among medical institutions in an interoperable fashion. Connectivity between medical institutions requires sharing complete protocols defined by standards. The "DICOM" standard is evolving to define the communication messages and application services between two medical applications. We specify and design the client and server behaviour of the Upper Layer service of the DICOM standard using an object oriented pattern language. The hierarchy principle of statechart is used to facilitate the comprehensibility of the standard by providing a visual formalism for the specification. The specification distinguishes the behaviour of the Upper Layer services as a client or a server. A high level structure of the client/server is illustrated using a collaboration diagram for an association establishment scenario. Finally, a statechart object oriented pattern language is used to translate the specification into design, and a class diagram for the server is presented in UML notation.
{"title":"The development of a client/server architecture for standardized medical application network services","authors":"S. Yacoub, H. Ammar","doi":"10.1109/ASSET.1999.756745","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756745","url":null,"abstract":"Recently, there has been a great demand for distributed medical imaging systems to share information among medical institutions in an interoperable fashion. Connectivity between medical institutions requires sharing complete protocols defined by standards. The \"DICOM\" standard is evolving to define the communication messages and application services between two medical applications. We specify and design the client and server behaviour of the Upper Layer service of the DICOM standard using an object oriented pattern language. The hierarchy principle of statechart is used to facilitate the comprehensibility of the standard by providing a visual formalism for the specification. The specification distinguishes the behaviour of the Upper Layer services as a client or a server. A high level structure of the client/server is illustrated using a collaboration diagram for an association establishment scenario. Finally, a statechart object oriented pattern language is used to translate the specification into design, and a class diagram for the server is presented in UML notation.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121876458","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756759
Yi Shang, Longzhuang Li
In this paper we present a new optimization-based method for designing filter banks in subband image coding. We formulate the design problem as a nonlinear optimization problem whose objective consists of both the performance metrics of the image coder; such as the peak signal to noise ratio (PSNR), and those of individual filters. In contrast to previous methods that design filter banks separately from the other operations in image coding, our formulation allows us to search for the filters in the context of an image coder to maximize coding quality. Due to the nonlinear nature of the performance metrics, the optimization problem is solved by using simulating annealing. In our method, we first apply the optimization method to find good filter banks for individual training image and then select the one that performs best across all training images to be the final solution. In experimental results, toe show that the filter bank designed by our method improves the coding quality of the best existing filter bank in terms of PSNR on nine benchmark images.
{"title":"Optimization design of filter banks in subband image coding","authors":"Yi Shang, Longzhuang Li","doi":"10.1109/ASSET.1999.756759","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756759","url":null,"abstract":"In this paper we present a new optimization-based method for designing filter banks in subband image coding. We formulate the design problem as a nonlinear optimization problem whose objective consists of both the performance metrics of the image coder; such as the peak signal to noise ratio (PSNR), and those of individual filters. In contrast to previous methods that design filter banks separately from the other operations in image coding, our formulation allows us to search for the filters in the context of an image coder to maximize coding quality. Due to the nonlinear nature of the performance metrics, the optimization problem is solved by using simulating annealing. In our method, we first apply the optimization method to find good filter banks for individual training image and then select the one that performs best across all training images to be the final solution. In experimental results, toe show that the filter bank designed by our method improves the coding quality of the best existing filter bank in terms of PSNR on nine benchmark images.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126455743","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756760
ApplicationsAhmed Bashandy, R. Paul, Shahab Baqai, S. Sedigh, H. Fahmi, Arif GhafoorDistributed
The role of multimedia applications in our day-to-day life has dramatically increased in the last few years. In this paper, we present an architectural framework for the distributed multimedia systems. The architecture consists of three layers: the application layer, the configuration and synchronization layer, and the network layer. The three layers are backed up by two backbone layers, namely, the database and the computational backbone. We present a precise description of each layer together with formal specifications using finite state automata.
{"title":"A protocol architecture for guaranteed quality of service in collaborated multimedia applications","authors":"ApplicationsAhmed Bashandy, R. Paul, Shahab Baqai, S. Sedigh, H. Fahmi, Arif GhafoorDistributed","doi":"10.1109/ASSET.1999.756760","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756760","url":null,"abstract":"The role of multimedia applications in our day-to-day life has dramatically increased in the last few years. In this paper, we present an architectural framework for the distributed multimedia systems. The architecture consists of three layers: the application layer, the configuration and synchronization layer, and the network layer. The three layers are backed up by two backbone layers, namely, the database and the computational backbone. We present a precise description of each layer together with formal specifications using finite state automata.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131847041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756778
R. Bittel, E. Caples, C. Young, F. Loso
A number of tactical military and commercial applications require multimedia, self-organising, high throughput, wireless networks that can operate independently of fixed or external infrastructures. The Soldier Phone system addresses these needs with an innovative concept, termed orthogonal domain multiple access (ODMA), to provide dynamic bandwidth management. It adjusts radio transmit and receive times, channels, and data rates to match the dynamic radio frequency environment and user traffic loading ODMA is embedded in a larger suite of protocols that manage the peer-to-peer communications. These include: ATM style switching for datagrams and virtual circuits; network management for routing, signalling, and address resolution; and user convergence for many traffic types. This protocol suite has been integrated with baseband digital signal processing functions to yield a wireless networking engine. Soldier Phone has been successfully demonstrated in a laboratory testbed.
{"title":"Soldier Phone: an innovative approach to wireless multimedia communications","authors":"R. Bittel, E. Caples, C. Young, F. Loso","doi":"10.1109/ASSET.1999.756778","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756778","url":null,"abstract":"A number of tactical military and commercial applications require multimedia, self-organising, high throughput, wireless networks that can operate independently of fixed or external infrastructures. The Soldier Phone system addresses these needs with an innovative concept, termed orthogonal domain multiple access (ODMA), to provide dynamic bandwidth management. It adjusts radio transmit and receive times, channels, and data rates to match the dynamic radio frequency environment and user traffic loading ODMA is embedded in a larger suite of protocols that manage the peer-to-peer communications. These include: ATM style switching for datagrams and virtual circuits; network management for routing, signalling, and address resolution; and user convergence for many traffic types. This protocol suite has been integrated with baseband digital signal processing functions to yield a wireless networking engine. Soldier Phone has been successfully demonstrated in a laboratory testbed.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115370390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756755
K. Indiradevi, V. Nair, J. Abraham
Authentication is an essential component in building security frameworks to defend confidentiality and integrity in communication networks. A large number of seemingly secure authentication protocols have been found to be flawed, potentially leading to impersonation. The often too subtle nature of such flaws has generated much interest in their rigorous analysis and verification. This paper proposes a state based framework using the property verification technique to formally model and verify these protocols.
{"title":"Property verification for authentication protocols","authors":"K. Indiradevi, V. Nair, J. Abraham","doi":"10.1109/ASSET.1999.756755","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756755","url":null,"abstract":"Authentication is an essential component in building security frameworks to defend confidentiality and integrity in communication networks. A large number of seemingly secure authentication protocols have been found to be flawed, potentially leading to impersonation. The often too subtle nature of such flaws has generated much interest in their rigorous analysis and verification. This paper proposes a state based framework using the property verification technique to formally model and verify these protocols.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114684057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756779
J. Blanton, G. H. Aicklen
A cost effective method for developing complex software systems while managing reliability issues is to port existing applications to new platforms. A number of software products provide development and operational environments to facilitate the porting of UNIX applications to Windows NT. The goal of these products is to minimize the amount of code rewriting for the ported application. To this end these porting tools allow the recompilation of the UNIX code in a UNIX-like development environment on the Windows NT platform. Finally, they provide the necessary UNIX-like system calls to allow execution of the ported applications on Windows NT. We have conducted a series of tests to measure the performance of some standard UNIX applications when operated in conjunction with the different UNIX compatibility layers. For comparison we also executed the applications on the Win32 API, and performed tests with the applications running on Linux.
{"title":"Performance of Windows NT porting environments","authors":"J. Blanton, G. H. Aicklen","doi":"10.1109/ASSET.1999.756779","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756779","url":null,"abstract":"A cost effective method for developing complex software systems while managing reliability issues is to port existing applications to new platforms. A number of software products provide development and operational environments to facilitate the porting of UNIX applications to Windows NT. The goal of these products is to minimize the amount of code rewriting for the ported application. To this end these porting tools allow the recompilation of the UNIX code in a UNIX-like development environment on the Windows NT platform. Finally, they provide the necessary UNIX-like system calls to allow execution of the ported applications on Windows NT. We have conducted a series of tests to measure the performance of some standard UNIX applications when operated in conjunction with the different UNIX compatibility layers. For comparison we also executed the applications on the Win32 API, and performed tests with the applications running on Linux.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114855521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756780
L. Chung, K. Chan
Software projects are typically managed in a rather ad hoc manner. On the contrary, many formal methodologies exist for software process management. However, processes are often lack the flexibility provided by the projects. In this paper, we present an integrated process and project management tool that derives benefits from both project and process management on the one hand and minimizes their disadvantages on the other.
{"title":"Integrating project planning and process modeling for software development","authors":"L. Chung, K. Chan","doi":"10.1109/ASSET.1999.756780","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756780","url":null,"abstract":"Software projects are typically managed in a rather ad hoc manner. On the contrary, many formal methodologies exist for software process management. However, processes are often lack the flexibility provided by the projects. In this paper, we present an integrated process and project management tool that derives benefits from both project and process management on the one hand and minimizes their disadvantages on the other.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123679111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1998-10-16DOI: 10.1109/ASSET.1999.756772
V. Winter
Transformations that are based on syntax directed rewriting systems can have a significant impact on the construction of high assurance systems. However, in order for a transformational approach to be useful to a particular problem domain, a (general) transformation system must be adapted to the notation of that particular domain. A transformation system that can be easily adapted to various domain notations has the potential of having a wide range of applicability. We discuss why transformation is attractive from a high assurance perspective, as well as some issues surrounding automated transformation within specific problem domains. We then give an overview of a language independent high assurance transformation system (HATS) that is being developed at Sandia National Laboratories.
{"title":"An overview of HATS: a language independent high assurance transformation system","authors":"V. Winter","doi":"10.1109/ASSET.1999.756772","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756772","url":null,"abstract":"Transformations that are based on syntax directed rewriting systems can have a significant impact on the construction of high assurance systems. However, in order for a transformational approach to be useful to a particular problem domain, a (general) transformation system must be adapted to the notation of that particular domain. A transformation system that can be easily adapted to various domain notations has the potential of having a wide range of applicability. We discuss why transformation is attractive from a high assurance perspective, as well as some issues surrounding automated transformation within specific problem domains. We then give an overview of a language independent high assurance transformation system (HATS) that is being developed at Sandia National Laboratories.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121687452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：