959 search results - page 154 / 192 » Transfers between Logics and their Applications |
143
click to vote
PPDP
2007
Springer
16 years 6 days 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...
191
click to vote
ICSOC
2004
Springer
15 years 11 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 ...
147
click to vote
SIGMOD
2010
ACM
15 years 11 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ļ...
177
click to vote
TACAS
1998
Springer
15 years 10 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...
157
click to vote
LPKR
1997
Springer
15 years 10 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 ...