959 search results - page 154 / 192 » Transfers between Logics and their Applications |
101
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
136
click to vote
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
110
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
129
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
118
click to vote
LPKR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Recently the ļ¬eld of theory update has seen some improvement, in what concerns model updating, by allowing updates to be speciļ¬ed by so-called revision programs. The ...