— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
The potential benefits of applying reactive distillation (RD) processes are taxed by significant complexities in process development and design. The design problem is formulated i...
C. P. Almeida-Rivera, P. L. J. Swinkels, J. Grievi...
Pricing content defines a major challenge for tomorrow's Internet, since existing models appear to be unworkable. However, the provider of content, commercial ones as well as...
Abstract. In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the "justified" ECA rules to captu...
Zongwei Luo, Amit P. Sheth, Krys Kochut, John A. M...