15779 search results - page 2490 / 3156 » Change-oriented software engineering |
166
click to vote
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
145
click to vote
FSEN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
158
click to vote
FSTTCS
2007
Springer
16 years 10 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
129
click to vote
FSTTCS
2007
Springer
16 years 10 days ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
148
click to vote
FSTTCS
2007
Springer
16 years 10 days ago
2007
Springer
We study the structure of the polynomial-time complete sets for NP and PSPACE under strong nondeterministic polynomial-time reductions (SNP-reductions). We show the following resu...