Titlebook: On the Move to Meaningful Internet Systems: OTM 2012; Confederated Interna Robert Meersman,Hervé Panetto,Isabel F. Cruz Conference proceedi

复习

Hierarchical Process Verification in a Semi-trusted Environment to achieve a common goal. It must be assured that certain requirements, such as legal regulations, are fulfilled by the overall composition. Verification of such requirements requires knowledge about the internal functionalities of the involved parties, who in turn do not want to reveal their proce

琐事

Surgeon

Indexing Process Model Flow Dependencies for Similarity Searchdels within such repositories is a critical functionality. Recent works propose metrics that rank process models of a repository according to their similarity to a given query. However, these methods sequentially browse all the processes of the repository and compare each one against the query, whic

CROW

A Framework for Cost-Aware Cloud Data Management the provision of all-inclusive solutions for data management. This paper proposes a framework that can support cost-aware data management in the cloud. Users and cloud providers can use the framework to receive and provide services that comply with agreements on data service cost and requirements a

commodity

Event-Driven Actors for Supporting Flexibility and Scalability in Service-Based Integration Architecactice is to introduce an intermediate integration layer for hiding the complexity and heterogeneity of the integrated systems or platforms. However, existing approaches introduce limited support for the flexibility of the integration architecture. It is challenging to alter the integration architec

accessory

Jogging

cognizant

COMMA

演绎

Looking into the Future description. This is especially true in cooperative environments relying heavily on human knowledge. Declarative languages, like Declare, alleviate this issue by not describing what to do step by step but by defining a set of constraints between actions that must not be violated during the process