Advances in mobile networking and information processing technologies have triggered vehicular ad hoc networks (VANETs) for traffic safety and value-added applications. Most efforts have been made to address the secur...
详细信息
We present an approach to model hardware configurations of complex manufacturing systems such as ASML's lithography machines. These hardware configurations consist of actuator and sensor elements which are control...
详细信息
We present an approach to model hardware configurations of complex manufacturing systems such as ASML's lithography machines. These hardware configurations consist of actuator and sensor elements which are controlled by system software that consists of over 35 million lines of code. To minimize the cost of testing and system integration, software simulators of hardware configurations are used-acting as virtual hardware platforms on which the real control software can be executed and tested. An important aspect in such simulation and testing is material flow (specifically wafer flow) in the machine. To support the effective and efficient realization of simulators covering material flow, we defined a domain specific language (DSL) for modelling the hardware configurations to be simulated, and used a model-driven engineering approach to generate the software components implementing the simulators. The DSL can be used to specify not only nominal (i.e. good weather) behaviour but also simulation based fault injection scenarios. The overall approach reduces the cost of early hardware-software integration and enables simulating scenarios that cannot be executed on real machines because they are difficult or hazardous to carry out.
Healthcare targeted for home activity is playing an important role in our daily lives as the number of elderly person is increasing sharply. Researches pointed out that one third of 65-and-over aged person fall per-ye...
详细信息
Healthcare targeted for home activity is playing an important role in our daily lives as the number of elderly person is increasing sharply. Researches pointed out that one third of 65-and-over aged person fall per-year. Some detection related work made use of accelerometers or gyroscopes, some use passive infrared or acoustic sensors. But there were some false alarms. Falls can be an unpredicted and dangerous event. A system based on wireless sensor networks to detect the falls for old and resident was proposed in this paper. We provided a method to minimize the false alarm rate of fall detection as well. Besides, we can detect falls that did not trigger the alarm which was intervened by outside forces.
In the decade following the completion of the Human Genome Project in 2000, the cost of sequencing DNA fell by a factor of around a million, and continues to fall. Applications of sequencing in health include precise ...
详细信息
Present Internet architecture is facing a number of challenges related to security, scalability, ubiquitous computing, management etc. Many initiatives are being carried out globally on designing new architecture for ...
详细信息
In this paper, we elaborate a set of scenarios and experiments for evaluating the impact of the physical environment on a Wireless Sensor Network (WSN). More specifically, a WSN application is implemented for collecti...
详细信息
In large software organizations with a product line development approach, system test planning and scope selection is a complex tasks for which tool support is needed. Due to repeated testing: across different testing...
详细信息
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boole...
详细信息
ISBN:
(纸本)9783939897316
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boolean expressions. Specifications using these facilities are often more succinct. However, these specifications are typically executed on solvers that only support questions of the form of existentially quantified conjunctions of constraints. We show how we can translate expressions with constraints appearing in non-Boolean contexts into conjunctions of ordinary constraints. The translation is clearly structured into constrained type elimination, local variable lifting and partial function elimination. We explain our approach in the context of the modelling language Zinc. An implementation of it is an integral part of our Zinc compiler.
Service-oriented architecture (SOA) provides an ability to satisfy the increasing demand of the customer for complicated services in business environments via the composition of service components scattered on the Int...
详细信息
作者：
Martinez, DavidLi, YueNICTA
University of Melbourne Dept. of Computer Science and Software Engineering Melbourne VIC 3010 Australia
As more health data becomes available, information extraction aims to make an impact on the workflows of hospitals and care centers. One of the targeted areas is the management of pathology reports, which are employed...
详细信息
暂无评论