University of Federal Armed Forces Munich

Displaying 1-6 of 6 results

  • White Papers // Jun 2010

    Probabilistic Logic-based Process Mining

    The management of business processes has recently received much attention, since it can support significant efficiency improvements in organizations. One of the most interesting problems is the description of a process model in a language, also equipped with an operational support that allows checking the compliance of a process execution...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Feb 2010

    Using SPARQL and SPIN for Data Quality Management on the Semantic Web

    The quality of data is a key factor that determines the performance of information systems, in particular with regard to the amount of exceptions in the execution of business processes and to the quality of decisions based on the output of the respective information system. Recently, the Semantic Web and...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Jul 2009

    Incremental Declarative Process Mining

    Business organizations achieve their mission by performing a number of processes. This span from simple sequences of actions to complex structured sets of activities with complex interrelation among them. The field of Business Processes Management studies how to describe, analyze, preserve and improve processes. In particular the sub field of...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Jun 2009

    iNagMon - Network Monitoring on the iPhone

    Nagios is a popular network monitoring tool that can be used to monitor network services as well as data like processor load due to an snmp interface. The visualization of status and alert messages can be conducted with a web interface. Many plugins for the Nagios system are available that...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Feb 2007

    Expressing and Verifying Business Contracts with Abductive Logic Programming

    In this paper, the authors propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfillment. SCIFF is a declarative language based on abductive logic programming, which accommodates forward rules, predicate definitions, and constraints over...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Aug 2006

    A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy-Efficient MPSoCs

    Most problems addressed by the software optimization flow for Multi-Processor Systems-on-Chip (MPSoCs) are NP-complete, and have been traditionally tackled by means of heuristics and high-level approximations. Complete approaches have been effectively deployed only under unrealistic simplifying assumptions. The authors propose a novel methodology to formulate and solve to optimality the...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Jun 2009

    iNagMon - Network Monitoring on the iPhone

    Nagios is a popular network monitoring tool that can be used to monitor network services as well as data like processor load due to an snmp interface. The visualization of status and alert messages can be conducted with a web interface. Many plugins for the Nagios system are available that...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Feb 2010

    Using SPARQL and SPIN for Data Quality Management on the Semantic Web

    The quality of data is a key factor that determines the performance of information systems, in particular with regard to the amount of exceptions in the execution of business processes and to the quality of decisions based on the output of the respective information system. Recently, the Semantic Web and...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Aug 2006

    A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy-Efficient MPSoCs

    Most problems addressed by the software optimization flow for Multi-Processor Systems-on-Chip (MPSoCs) are NP-complete, and have been traditionally tackled by means of heuristics and high-level approximations. Complete approaches have been effectively deployed only under unrealistic simplifying assumptions. The authors propose a novel methodology to formulate and solve to optimality the...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Jul 2009

    Incremental Declarative Process Mining

    Business organizations achieve their mission by performing a number of processes. This span from simple sequences of actions to complex structured sets of activities with complex interrelation among them. The field of Business Processes Management studies how to describe, analyze, preserve and improve processes. In particular the sub field of...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Jun 2010

    Probabilistic Logic-based Process Mining

    The management of business processes has recently received much attention, since it can support significant efficiency improvements in organizations. One of the most interesting problems is the description of a process model in a language, also equipped with an operational support that allows checking the compliance of a process execution...

    Provided By University of Federal Armed Forces Munich

  • White Papers // Feb 2007

    Expressing and Verifying Business Contracts with Abductive Logic Programming

    In this paper, the authors propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfillment. SCIFF is a declarative language based on abductive logic programming, which accommodates forward rules, predicate definitions, and constraints over...

    Provided By University of Federal Armed Forces Munich