{"title":"Web page reuse techniques: a dynamic referential navigational guide","authors":"E. H. Ng, S. Wade, C. Ghaoui","doi":"10.1109/EURMIC.2000.874402","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874402","url":null,"abstract":"In the field of software engineering it is generally recognised that the reuse of existing components can lead to greater productivity and cost-effectiveness, together with a more reliable and easier to maintain software product of high quality. In short, software reusability is an essential attribute of a high, quality, reliable software component. However, most Web pages are currently constructed for a particular system or Web-site rather than being built with reuse in mind. Any reuse of these pages is based on ad hoc reuse rather than systematic reuse. This article presents a new approach for Web-page reuse called a dynamic referential navigational guide (DReNG). Based on the page-component instead of the predetermined link concept, a more structured design is proposed. Generic Web pages are built as reusable components and viewed as black boxes. A master page is used for each system developed, as a reference guide, to store the navigational links and the navigational mechanisms between these pages. It is based on a \"triple linked list\" structure, where \"back\", \"forward\", and \"homepage\" pointers are maintained and potentially can be extended to unlimited pointers wherever an \"n-tuple linked list\" might be needed. Two further problems associated with the development of Web-based systems: the tracing and the maintenance of the same page across different systems or even across different servers have also been tackled.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"230 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124543764","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}
{"title":"Concurrent control systems: from Grafcet to VHDL","authors":"F. Mallet, D. Gaffé, F. Boéri","doi":"10.1109/EURMIC.2000.874637","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874637","url":null,"abstract":"The automated production systems (APS) are composed of concurrent interacting entities, so any model should exhibit parallel and sequential behaviours. The Grafcet is now well established in manufacturing to specify the awaited behaviour of the APS. Moreover programmable components increase modularity and allow a higher integration rate of circuits. The paper studies the hardware implementation of a Grafcet specification into such a component. Those components have to be programmed using a hardware description language. We therefore focus on inherent problems of such an approach and we study different kinds of possible solutions to automatically translate a Grafcet specification into a VHDL program. In particular, we introduce a solution based on synchronous language works about symbolic research of stability states. This compiler only accepts the stable grafcets. In addition to automatically generating a VHDL code, this solution provides a way to check some safety properties on Grafcet.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114359605","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}
{"title":"A new perspective on formal testing method for real-time software","authors":"Jin-Cherng Lin, I. Ho","doi":"10.1109/EURMIC.2000.874428","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874428","url":null,"abstract":"The time dependent and asynchronous nature of many real time applications adds a new and potentially difficult element to the testing activities, which needs to be solved. To address this need, we present a formal testing strategy for real time software by using a dual language approach. In our approach, we start out with the derivation of real time software requirements in temporal logic form as our basis of descriptive formalism. Then we present an abstract semantics to correlate the temporal logic formulae with the timed Petri nets of the software, which is the operational formalism, and is used to generate the test cases. Based on the temporal properties of the software requirements, the descriptive formalism provides rich information for test oracle generation. By combining the timed test cases with oracles, the firm and definite test suites are formed.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126144566","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}
Andy Hunt, Ross Kirk, M. Abbotson, Raymond Abbottson
{"title":"Music therapy and electronic technology","authors":"Andy Hunt, Ross Kirk, M. Abbotson, Raymond Abbottson","doi":"10.1109/EURMIC.2000.874506","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874506","url":null,"abstract":"The paper explains how a mobile Music Therapy van was established using electronic and computer technology developed as part of a long-term university research project. The electronic instruments and computer programs that are used are described along with an overview of their applied uses with children who have special needs. The technology is shown not only to allow access to those clients otherwise alienated from music and the music therapy, but is also beginning to provide quantitative data to expand the analytical techniques of the therapist.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129359691","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}
{"title":"TITANS: a component based authoring environment using XML to facilitate low cost, high quality entry of the SME to e-commerce","authors":"C. Charlton, J. Little, I. Finch, I. Neilson","doi":"10.1109/EURMIC.2000.874410","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874410","url":null,"abstract":"A component based authoring environment for the production of WWW sites by naive users is described. Within this environment complex functionality such as forums can be included in a user defined template through the same basic editing operations as govern the inclusion of more standard aspects, e.g. navigation bars. As XML is used to represent components, user templates for WWW site design can be readily rendered in alternative media formats. A business can thus seamlessly integrate their WWW site and paper based marketing strategy.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129101732","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}
{"title":"A multimedia synchronization protocol for multicast groups","authors":"A. Benslimane","doi":"10.1109/EURMIC.2000.874667","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874667","url":null,"abstract":"Multicast distribution of multimedia streams is an important component of many existing and future networked services. These services are characterized by the integrated processing of different media types, such as audio and video. Often, different multimedia streams must be played out in a synchronized way. Due to the asynchronous nature of networks, some problems can disrupt synchronization such as delay jitter and different initial playback times. The author proposes a method consisting of intra-stream and inter-client synchronization mechanisms. It allows different members of a multicast group to playback media units at the same time and in a continuous manner. The mechanism can be used in networks having unknown delay bounds. It allows receivers to be synchronized for media unit playbacks. To do this, we use feedback messages for source and buffer management. However, there is no assumption about clock synchronization and messages are not time-stamped.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130838258","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}
{"title":"A novel suite of tests for evaluating one-way hash functions for electronic commerce applications","authors":"Dimitrios Alexios Karras, V. Zorkadis","doi":"10.1109/EURMIC.2000.874532","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874532","url":null,"abstract":"The quality of one-way functions determines, among other parameters, to great extent the security grant provided by cryptographic protocols which rely on them. The authors propose a novel evaluation methodology of one-way hash functions for security mechanisms of electronic commerce systems, such as for instance digital signatures. The methodology consists of three parts: the bit-variance test, the entropy assessment of the digests produced and the hash-function non modeling test. The bit-variance test shows the impact of small changes of the input message in the digest output. The entropy assessment of the hash function values is its information measure, and therefore a measure of the difficulty to find two or more messages that lend themselves to a given digest. On the other hand, the non modeling test (based on neural networks) should show the impossibility of modeling the one-way hash function by neural network architectures, having the ability to approximate arbitrary real functions. Otherwise, it would indicate feasibility in modeling the hash functions by artificial intelligence techniques, and consequently in reducing the processing effort required to break them. The application of the suggested methodology to the well known MD5 one-way function reveals its potential to hash function quality characteristic evaluation. The proposed methodology may be applied in conjunction with other methods described in the technical literature.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127964500","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}
{"title":"Software product improvement with inspection. A large-scale experiment on the influence of inspection processes on defect detection in software requirements documents","authors":"S. Biffl, M. Halling","doi":"10.1109/EURMIC.2000.874427","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874427","url":null,"abstract":"In the early stages of software development, inspection of software documents is the most effective quality assurance measure to detect defects and provides timely feedback on quality to developers and managers. The paper reports on a controlled experiment that investigates the effect of defect detection techniques on software product and inspection process quality. The experiment compares defect detection effectiveness and efficiency of a general reading technique that uses checklist based reading, and a systematic reading technique, scenario based reading, for requirements documents. On the individual level, effectiveness was found to be higher for the general reading technique, while the focus of the systematic reading technique led to a higher yield of severe defects compared to the general reading technique. On a group level, which combined inspectors' contributions, the advantage of a reading technique regarding defect detection effectiveness depended on the size of the group, while the systematic reading technique generally exhibited better defect detection efficiency.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125369368","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}
{"title":"Quantitative 3D modelling of the left ventrical from ultrasound images [ventrical read ventricle]","authors":"B. Scowen, S. Smith, M. Vannan","doi":"10.1109/EURMIC.2000.874525","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874525","url":null,"abstract":"There is an established clinical correlation between coronary heart disease and geometric deformation of the left ventricle, the performance of which is commonly used to evaluate cardiac efficiency. Currently, ventricle performance is often estimated from 2D geometric reconstructions of this chamber using a non-invasive imaging modality. A new model is presented which creates a 3D representation of the left ventricle with minimal geometric assumptions using a helical fibre. This model allows clinically recognised quantitative measurements such as volume, ejection fraction, surface area and Fourier analysis to be obtained as well as multi-plane curvature which is not possible using conventional 2D techniques. This technique is implemented within a comprehensive software package, which enables these measures to be extracted from the interactive 3D reconstruction, and thus allows both qualitative and quantitative assessments to be made.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114071788","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}
{"title":"Scalable hardware-algorithm for mark-sweep garbage collection","authors":"W. Srisa-an, D. Lo, J. M. Chang","doi":"10.1109/EURMIC.2000.874643","DOIUrl":"https://doi.org/10.1109/EURMIC.2000.874643","url":null,"abstract":"The memory-intensive nature of object-oriented languages such as C++ and Java has created the need for high-performance dynamic memory management. Object-oriented applications often generate higher memory intensity in the heap region. Thus, a high-performance memory manager is needed to cope with such applications. As today's VLSI technology advances, it becomes increasingly attractive to map software algorithms such as malloc(), free() and garbage collection into hardware. This paper presents a hardware design of a sweeping function (for mark-and-sweep garbage collection) that fully utilizes the advantages of combinational logic. In our scheme, the bit sweep can detect and sweep the garbage in a constant time. Bit-map marking in software can improve the cache performance and reduce number of page faults; however, it often requires several instructions to perform a single mark. In our scheme, only one hardware instruction is required per mark. Moreover, since the complexity of the sweeping phase is often higher than the marking phase, the garbage collection time may be substantially improved. The hardware complexity of the proposed scheme (bit-sweeper) is O(n), where n represents the size of the bit map.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115291893","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}