1411 search results - page 168 / 283 » Interactive Coding for Interactive Proofs |
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
— Instruments and sensors and their accompanying actuators are essential to the conduct of scientific research. In many cases they provide observations in electronic format and ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Large-scale supercomputing is revolutionizing the way science is conducted. A growing challenge, however, is understanding the massive quantities of data produced by largescale si...
CASSIS
2005
Springer
15 years 3 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
Mission Queen Maud Land (MQML) is a collaborative virtual environment that was developed to explore new ways to stimulate secondary school pupils to collaborate in grasping comple...
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...