Workflow tools have been successfully applied to automate work in many situations where the work is well regulated, there is a stable pattern of work, and there is a sufficiently high volume or sufficiently high importance to justify the cost of automating the activities. In many other circumstances there is a very mixed story of success and failure of workflow implementation. The Web also has ...

This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T'...

The work reported here takes place in the educational domain and deals especially with observation of pedagogical activity. User behavior is observed through the raw traces (log files) of their activity from multiple sources. The main point of this paper deals with a very important stage, generally not described: the preparation of an observed experiment by selecting and structuring the relevan...

Anecdotal and indirect empirical evidence suggest that excitement and market bubbles are intertwined, such that excitement not only arises during bubbles but may also help fuel them. We directly test the impact of excitement on bubbles in a bubbleprone experimental asset-pricing market (Capinalp, Porter, and Smith, 2001). Prior to trading, participants are assigned to emotion inductions through...

Changes in life style, stimulated through planned education intervention by the professionals in health care system, can be obtained, do have an impact, and are absolutely essential (Simond, 1974). This has of course resulted in the various Health Education Programmes of the Ministry of Health Malaysia. The burden of bringing about this change should not only be the responsibility of the genera...

One of the classic forms of intermediate representation used for communication between compiler front-ends and back-ends are those based on abstract stack machines. It is possible to compile the stack machine instructions into machine code by means of an interpretive code generator, or to simulate the stack machine at runtime using an interpreter. This paper describes an approach intermediate b...

The rare K decay K L → π 0 νν̄ is considered as one of ideal processes in the flavor physics to make a critical test for the standard model and a search for new physics beyond it. The E391a experiment at the KEK 12-GeV proton synchrotron is the first dedicated experiment for the K L → π 0 νν̄ decay. The experiment started a data taking in February 2004 aiming at an improvement of sensitivity from...

1,2 Communication latency can be reduced by increasing bandwidth via a sender-based anticipation technique called Parallel Communication. Here we apply this method to anonymous FTP. Our analysis of log files indicates that latency can be reduced to 2 round-trip times, as small as 0.6 round-trip time/file, for a 7x increase in bandwidth. This technique applies to up to 95% of the FTP traffic. Th...

In Edinburgh there has been an intensive search by general practitioners for early carcinoma of the cervix, but such an investigation was short-lived, and we have had no results from such an enquiry conducted intensively over a number of years. Another example of the use of the general practitioner in preventive medicine lies in the detection of anaemia, and this paper deals with the results of...

Diffraction data collection is the last experimental stage in structural crystallography. It has several technical and theoretical aspects and a compromise usually has to be found between various parameters in order to achieve optimal data quality. The influence and importance of various experimental parameters and their consequences are discussed in the context of different data applications, ...