Sciweavers

31387 search results - page 352 / 6278
» Abstracting abstract machines
Sort
View
138
Voted
IANDC
2002
51views more  IANDC 2002»
15 years 7 months ago
Secure Implementation of Channel Abstractions
Martín Abadi, Cédric Fournet, George...
153
Voted
IJAR
2002
76views more  IJAR 2002»
15 years 7 months ago
Evaluation of Bayesian networks with flexible state-space abstraction methods
Chao-Lin Liu, Michael P. Wellman
126
Voted
IJIGS
2002
50views more  IJIGS 2002»
15 years 7 months ago
Abstracts
s Callfor s Callfor