3724 search results - page 384 / 745 » Timed regular expressions |
199
click to vote
TCC
2004
Springer
16 years 4 days 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...
173
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
157
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
169
click to vote
ITS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support leaners' problem-solving activities. By drawing o...
200
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...