4286 search results - page 510 / 858 » Formalizing Service Interactions |
153
Voted
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
131
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
111
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
148
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
150
Voted
WINE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We commonly use the experience of others when taking decisions. Reputation mechanisms aggregate in a formal way the feedback collected from peers and compute the reputati...