Search Sciweavers | Sciweavers

6201 search results - page 36 / 1241

» Implementation of Axiomatic Language

SAC
2005
ACM

89views Applied Computing» more SAC 2005»

15 years 8 months ago

Qian Wang, Gopal Gupta

claim paper

Read More »

114

Voted

CCS
2001
ACM

130views Security Privacy» more CCS 2001»

15 years 7 months ago

Gustaf Neumann, Mark Strembeck

claim paper

Read More »

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

15 years 7 months ago

S. Doaitse Swierstra, Pablo R. Azero Alcocer, Jo&a...

claim paper

Read More »

click to vote

SIGOPSE
1998
ACM

96views Operating System» more SIGOPSE 1998»

15 years 7 months ago

Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblit...

claim paper

Read More »

click to vote

IPPS
1996
IEEE

99views Distributed And Parallel Com...» more IPPS 1996»

15 years 7 months ago

Sciweavers