Sciweavers

836 search results - page 58 / 168
» An Object Semantic Model of SOFL
Sort
View
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 11 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
15 years 5 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»
15 years 4 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
15 years 9 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»
15 years 7 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