3515 search results - page 10 / 703 » On the semantics of Strategy Logic |
149
Voted
FUIN
2008
15 years 4 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
123
click to vote
PPDP
2007
Springer
15 years 10 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...
129
Voted
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
155
Voted
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
175
Voted
BNCOD
2007
15 years 6 months ago
2007
Order is essential for XML query processing. Efficient XML processing with order consideration over relational storage is non-trivial, especially for complex nested XQuery expressi...