525 search results - page 25 / 105 » Using Checkable Types in Automatic Protocol Analysis |
108
click to vote
FMOODS
2006
15 years 3 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
108
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel method for automatically acquiring strategies for the double auction by combining evolutionary optimization together with a principled game-theoretic analysis. ...
158
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
115
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
116
click to vote
EMNLP
2008
15 years 3 months ago
2008
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...