2688 search results - page 305 / 538 » A formal semantics for P3P |
184
click to vote
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
191
click to vote
RSFDGRC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
217
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
167
click to vote
SEKE
2004
Springer
16 years 18 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
215
click to vote
ICTAI
2003
IEEE
16 years 16 days ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...