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 ...Download Now
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 ...Download Now
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 ...Download Now
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 ...Download Now
Submit Your Content
Get your content listed in our directory for free!
Our directory is the largest library of vendor-supplied technical content on the web. It's also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors' papers here - shouldn't they find yours too?