RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...

Four patients with brain tumors were diagnosed with atypical teratoid/rhabdoid tumors and underwent CT and MR imaging. For all tumors, aggressive features were shown by imaging studies and included hydrocephalus, apparent invasion of the adjacent brain and dura, and marked mass effect. The striking heterogeneity of the atypical teratoid/rhabdoid tumor shown by imaging studies reflects the histo...

Small scale digital device forensics is particularly critical as a result of the mobility of these devices, leading to closer proximity to crimes as they occur when compared to computers. The Windows Surface tablet is one such device, combining tablet mobility with familiar Microsoft Windows productivity tools. This research considers the acquisition and forensic analysis of the Windows Surface...

ly, and then bound to a concrete network protocol and message format. A client (program) connecting to a web service can read the WSDL to determine what functions are available on the server. Any special datatypes used are embedded Figure 1. SOAP message structure.

Engineering educators teaching digital signal processing (DSP) have found that using hands-on exercises for students can smooth the transition from theory to practical real-time DSP. However, before significant learning can begin using such exercises, students must build their confidence in the hardware and software platforms. When using audio signals, a “talk-through” project accomplishes this...

With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is a demand. Transformations must take into account changes in both behavioural and structural diagrams. In this paper, we present a set of transformation laws that aims to systematise the evolution of semantically well-defined U...