2067 search results - page 296 / 414 » Logics of propositional control |
190
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
167
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
150
click to vote
COGSCI
2006
15 years 6 months ago
2006
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...
220
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
164
click to vote
TCS
2010
15 years 4 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...