7404 search results - page 436 / 1481 » New Tools in Education |
114
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
A new Room Temperature (RT) 0-level vacuum package is demonstrated in this work, using amorphous silicon (aSi) as sacrificial layer and SiO2 as structural layer. The process is co...
177
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
176
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...
181
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...
138
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...