Learn More
More and more ubiquitous and mobile computer networks are becoming available, which leads to a massive growth in the amount of traffic and according log messages. For handling and managing networks efficiently, sophisticated approaches for network management and analysis are necessary. In this paper, we show how to use temporal data mining in a declarative(More)
Modeling and analyzing the dependability of software systems is a key activity in the development of embedded systems. An important factor of dependability is availability. Current modeling methods that support availability modeling are not based on a rigorous modeling theory. Therefore, when the behavior of the system influences the availability, as it is(More)
  • 1