728 search results - page 127 / 146 » A Logical View of Choreography |
MKM
2004
Springer
14 years 1 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
HPDC
1998
IEEE
14 years 8 days ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
SP
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
DBPL
1995
Springer
13 years 11 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
OPODIS
2007
13 years 9 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...