4299 search results - page 264 / 860 » Concurrent Test Generation |
141
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
134
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
121
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
130
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
148
click to vote
FMCO
2006
Springer
15 years 8 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...