2688 search results - page 305 / 538 » A formal semantics for P3P |
162
click to vote
PPDP
2005
Springer
16 years 4 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 ...
168
click to vote
RSFDGRC
2005
Springer
16 years 4 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...
189
click to vote
SEMWEB
2005
Springer
16 years 4 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...
151
click to vote
SEKE
2004
Springer
16 years 7 hour 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...
191
click to vote
ICTAI
2003
IEEE
15 years 12 months 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 ...