Sciweavers

1060 search results - page 55 / 212
» Mechanized semantics
Sort
View
VLDB
2001
ACM
104views Database» more  VLDB 2001»
15 years 10 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ICMCS
2005
IEEE
126views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Semantic Routing and Filtering for Large-Scale Video Streams Monitoring
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
Ching-Yung Lin, Olivier Verscheure, Lisa Amini
ESWS
2011
Springer
14 years 1 months ago
miKrow: Semantic Intra-enterprise Micro-Knowledge Management System
Abstract. Knowledge Management systems are one of the key strategies that allow companies to fully tap into their collective knowledge. However, two main entry barriers currently l...
Víctor Penela, Guillermo Álvaro, Car...
GEOS
2007
Springer
15 years 4 months ago
Supporting Complex Thematic, Spatial and Temporal Queries over Semantic Web Data
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
Matthew Perry, Amit P. Sheth, Farshad Hakimpour, P...
RULEML
2010
Springer
14 years 8 months ago
Photorealistic Semantic Web Service Groundings: Unifying RESTful and XML-RPC Groundings Using Rules, with an Application to Flic
Semantic Web services achieve effects in the world through Web services, so the mechanism connecting the ontological representations of services with the on-the-wire messages—th...
Dave Lambert, John Domingue