Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
Helen Schonenberg, Ronny Mans, Nick Russell, Natal...
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
Xinwen Zhang, Michael J. Covington, Songqing Chen,...
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...