Sciweavers

15375 search results - page 5 / 3075
» cans 2008
Sort
View
COMPUTER
2006
64views more  COMPUTER 2006»
13 years 6 months ago
Can We Make Operating Systems Reliable and Secure?
Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos
INFSOF
2008
55views more  INFSOF 2008»
13 years 6 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»
13 years 6 months ago
Can Spike Coordination Be Differentiated from Rate Covariation?
Benjamin Staude, Stefan Rotter, Sonja Grün