Sciweavers

3378 search results - page 76 / 676
» A universe of binding and computation
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
14 years 9 months ago
Semantic Abstraction and Quantum Computation
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
Alessandra Di Pierro, Herbert Wiklicky
FMCO
2006
Springer
15 years 1 months ago
Towards a Formal Framework for Computational Trust
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
Vladimiro Sassone, Karl Krukow, Mogens Nielsen
GCA
2007
14 years 11 months ago
Grid Computing in an Academic Environment
This paper describes an investigation into the provision of grid computing facilities in a typical university environment. In particular, it focuses on the use of the Java programm...
George Wells, Gregory Atkinson
SIGCSE
1999
ACM
83views Education» more  SIGCSE 1999»
15 years 2 months ago
Global cooperation project in computer programming course
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...
Thomas Macek, Bozena Mannova, Josef Kolar, Barbara...
FECS
2006
141views Education» more  FECS 2006»
14 years 11 months ago
Continuous improvement of the Computer Science Undergraduate Program at CSULA
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...
Russ Abbott, Vladimir Akis, Valentino Crespi, Huip...