Microsoft Download Center Archive

Tark: A Tool Kit to Mine Linear Temporal Rules

  • Published:
  • Version: 5.0
  • Category: other
  • Language: English

With this tool kit, users can mine linear temporal rules involving multiple events. Last published: June 17, 2013.

With this tool kit, users can mine linear temporal rules involving multiple events. The mined rules can capture data constraints on event fields and data-flow constraints between event fields via quantification. The tool kit can be used to mine rules over different views of events using event abstractions. In addition, the tool kit can be used to mine non-temporal rules involving single events, similar to frequent item sets. The tools operate on a well-defined, publicly available custom XML trace format. While users can generate traces conformant to this format, they also could use the converters in the tool kit to convert trace data such as call traces and network traces in various common formats—comma-separated values, Netmon, and PDML—to the custom trace format supported by the tools.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem