An electronic waybill (e-Waybill) is a service whose purpose is to replace the paper waybill, which is a paper documents that traditionally follows a consignment during transport. An important purpose of the e-Waybill is to achieve a paperless flow of information during freight transport. In this paper, we investigate five e-Waybill solutions, that is, system design specifications for the e-Way...

The Uni ed Modelling Language (UML) is becoming the de facto industry standard notation for object-oriented analysis and design. In this paper we propose a development process using UML and other notations which supports formal analysis and veri cation, so enabling the notation to be used for highly critical systems. We will illustrate the development process using a small example of a tra c li...

H. G. Perros Department of Computer Science North Carolina State University Raleigh, NC 27695 USA In recent years, there has been a strong drive towards developing high speed networks. Designers are currently being faced with a wide range of performance problems varying from understanding the performance of a switch architecture to implementing efficient congestion control mechanisms and light-...

The chapter describes an empirical study of a sociotechnical community—as an extended part of an institution—with the aim of revealing its changing processes. One hypothesis is that structures of socio-technical communities evolve from being less defined and informal to being more formal structures supported by evolving social control mechanisms, regulations and rules. The focus is the new emer...

Support Vector Machines (SVM) is a powerful classification technique in data mining and has been successfully applied to many real-world applications. Parameter selection of SVM will affect classification performance much during training process. However, parameter selection of SVM is usually identified by experience or grid search (GS). In this study, we use Taguchi method to make optimal appr...