Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logic of programs
A modular approach to build structured event-based systems
Proceedings of the 2002 ACM symposium on Applied computing
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Virtual Shared Memory for Distributed Architectures
Virtual Shared Memory for Distributed Architectures
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Distributed Linda Tuplespace Algorithms and Implementations
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
An ontology-based publish/subscribe system
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
G-ToPSS: fast filtering of graph-based metadata
WWW '05 Proceedings of the 14th international conference on World Wide Web
Distributed Event-Based Systems
Distributed Event-Based Systems
Towards Semantic tuplespace computing: the Semantic web spaces system
Proceedings of the 2007 ACM symposium on Applied computing
Tuplespace-based computing for the semantic web: A survey of the state-of-the-art
The Knowledge Engineering Review
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
A coordination model for triplespace computing
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Description logic reasoning with syntactic updates
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A Heuristics Framework for Semantic Subscription Processing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Performance testing of semantic publish/subscribe systems
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Efficient semantic event processing: lessons learned in user interface integration
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Efficient matching of SPARQL subscriptions using rete
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Semantic technologies promise to solve challenging problems of current enterprise information systems, e.g., the integration of heterogeneous information clients and the evaluation of complex data dependencies. As many of these problems also apply to coordination applications, recent research initiatives have proposed to integrate coordination models with semantic technology. In this paper, we present such an integrated coordination model which combines logic-based reasoning with a reliable semantic subscription mechanism. We present a formal definition of the model's behavioral semantics and investigate the added value of using semantic technologies. Finally, we draw first conclusions about the practical applicability of the proposed approach based on performance benchmarks of a prototype implementation.