We use a combination of three techniques for the specification of processes, data and time: CSP, Object-Z and Duration Calculus. Whereas the combination of CSP and Object-Z is well established by the work of C. Fischer [2, 3], the integration with Duration Calculus is new. The combination is used to specify parts of a novel case study on radio controlled railway crossings.

The CRISP-DM (CRoss Industry Standard Process for Data Mining) project proposed a comprehensive process model for carrying out data mining projects. The process model is independent of both the industry sector and the technology used. In this paper we argue in favor of a standard process model for data mining and report some experiences with the CRISP-DM process model in practice. We applied an...

We consider weighted tree automata (wta) over strong bimonoids and their initial algebra semantics run semantics. There are wta for which these different; however, bottom-up deterministic semirings, the difference vanishes. A is crisp-deterministic if it each transition by one of unit elements bimonoid. prove that class languages recognized same as recognizable step mappings. Moreover, we inves...

Context. Data from ground-based, high-resolution solar telescopes can only be used for science with calibrations and processing, which requires detailed knowledge about the instrumentation. Space-based provide science-ready data, are easier to work researchers whose expertise is in interpretation of data. Recently, data-processing pipelines ground-based instruments have been constructed. Aims. ...