Sciweavers

836 search results - page 58 / 168
» An Object Semantic Model of SOFL
Sort
View
CORR
2011
Springer
175views Education» more  CORR 2011»
13 years 5 months ago
A Novel Probabilistic Pruning Approach to Speed Up Similarity Queries in Uncertain Databases
Abstract— In this paper, we propose a novel, effective and efficient probabilistic pruning criterion for probabilistic similarity queries on uncertain data. Our approach support...
Thomas Bernecker, Tobias Emrich, Hans-Peter Kriege...
ICWS
2007
IEEE
13 years 11 months ago
A Semantic Web Services-based Infrastructure for Context-Adaptive Process Support
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
Stefan Dietze, Alessio Gugliotta, John Domingue
ECEASST
2008
121views more  ECEASST 2008»
13 years 10 months ago
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
Mirco Kuhlmann, Martin Gogolla
WISE
2003
Springer
14 years 3 months ago
Using a Layered Approach for Interoperability on the Semantic Web
In this paper, we further develop a proposed layered approach for the Semantic Web. Our objective is to build a specific solution to the problem of providing data interoperability...
Isabel F. Cruz, Huiyong Xiao
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
14 years 1 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes