Over the last couple of decades, distributed systems have been demonstrated an architectural evolvement based on models including client/server, multi-tier, distributed objects, messaging and peer-to-peer. One recent evolutionary step is Service Oriented Architecture (SOA), whose goal is to achieve loose-coupling among the interacting software applications for scalability and interoperability. ...

Describing the system components of norovirus outbreaks is important in understanding how to prevent future outbreaks. Investigation of these components includes environmental, epidemiologic, and laboratory perspectives. This study describes how an investigation from these three perspectives was conducted and the significance of each component in understanding norovirus outbreaks. On May 23, 20...

A good design of human-computer interface can make the communication more effective, more easily and less mistaking guidance for users. In order to realize the rapid construction and dynamic reconfiguration of human-computer interface, a rapid developing model based on component assembly was proposed recurring to an assistant design tool developed self-owned, as well as the assembly models of d...

This paper presents a software architecture that enables the application-specific processing of messages on network processors attached to cluster machines. Such processing is performed by stream handlers executed on such attached network processors (ANPs) and able to manipulate both message headers and their data content. Handler execution can be associated with the ANPs’ receive side, its tra...

In June 2003, Australian state and territory health departments were notified of an outbreak of Hepatitis A in people who had attended a five-day youth camp. Approximately 350 people attended the event in Central Australia between 24 and 28 April 2003. The public health investigation comprised of case identification, food handler interviews, an environmental health investigation of the campgrou...

Memory virtualization by means of demand paging is a crucial component of every modern operating system. The formal verification is challenging since reasoning about the page fault handler has to cover two concurrent computational sources: the processor and the hard disk. We accurately model the interleaved executions of devices and the page fault handler, which is written in a high-level progr...

In March 2007, the National Institute for Occupational Safety and Health (NIOSH) was asked to evaluate the noise exposure of employees in the Nutrition and Food Services Department of a large hospital, because of noise concerns raised after the installation of the PowerSoak dishwashing system. Eleven employees (two cooks, eight food service workers, and a materials handler) contributed 13 full-...