In this paper we present the real-time verification and analysis tool RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates a real-time model checker for real-time specifications, it offers algorithms for analyzing critical delay times, for inspecting data values and event occurrences and for detecting dead-locks and live-locks. The counter exampl...

For studying and developing control structures based on neural networks for systems that behave in a real world niche (i.e. autonomous robots), a proper monitoring, visualization and control environment is a necessity. In this paper, a new type of robot control/neural network simulation environment, “NNetView”, is presented. The innovative aspect is a real-world graphical interface which is ent...

Financial options are known from the financial world where they represent the right to buy or sell a financial value (mostly a stock) for a predetermined price (the exercise price), without having the obligation to do so. Real options in option thinking are based on the same principals as financial options. In real options, the options involve real assets as opposed to financial ones. To have a...

Because of the availability of cheap network technology and computing power, people and business become increasingly dependent on computing systems. Timeliness and correctness, therefore, become the most urgently requested system properties, often subsumed in the notion of Quality of Service. Real-time computing is becoming an enabling technology for many important applications such as flexible...

The forthcoming UMTS system and the subscriber’s new requirements will bring powerful changes in mobile telecommunication. With the available functions and possibilities the role of the infrastructure provider and content / application provider should diverge. In our study, we will show these new functions and possibilities, we summarize the legal and technical difficulties of the advents of 3 ...

In this paper, we discuss the use of ontologies for semantic business process management. In particular, we address system and process integration challenges encountered in the real world, based on the example of the telecom domain: Internet-based telephony service (Voice over IP). Various aspects of ontology development are covered including relations to industry standards, ontology creation m...