Sciweavers

15375 search results - page 5 / 3075
» cans 2008
Sort
View
COMPUTER
2006
64views more  COMPUTER 2006»
14 years 12 months ago
Can We Make Operating Systems Reliable and Secure?
Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos
INFSOF
2008
55views more  INFSOF 2008»
14 years 11 months ago
Transformation techniques can make students excited about formal methods
Pieter Van Gorp, Hans Schippers, Serge Demeyer, Di...
NECO
2008
89views more  NECO 2008»
14 years 11 months ago
Can Spike Coordination Be Differentiated from Rate Covariation?
Benjamin Staude, Stefan Rotter, Sonja Grün