Sciweavers

2688 search results - page 122 / 538
» A formal semantics for P3P
Sort
View
AMW
2009
15 years 7 months ago
Semantic Integrity Constraints for Spatial Databases
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
Loreto Bravo, M. Andrea Rodríguez
BIS
2009
131views Business» more  BIS 2009»
15 years 7 months ago
Organisational Ontology Framework for Semantic Business Process Management
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
Agata Filipowska, Martin Hepp, Monika Kaczmarek, I...
KCAP
2009
ACM
16 years 28 days ago
Overview of a semantic disambiguation method for unstructured web contexts
In this paper we give an overview of a multiontology disambiguation method, targeted to discover the intended meaning of words in unstructured web contexts. It receives an ambiguo...
Jorge Gracia, Eduardo Mena
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 12 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
ECOWS
2006
Springer
15 years 8 months ago
Semantic Web Service Composition through a Matchmaking of Domain
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
Freddy Lécué, Alain Léger