295 search results - page 42 / 59 » A method for modeling uncertainty in semantic web taxonomies |
DA
2007
14 years 9 months ago
2007
Decision analytic methods are now used frequently to help articulate and structure debate and deliberations among citizens and stakeholders in societal decisions. Methods vary, bu...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically c...