13137 search results - page 69 / 2628 » A Science of Software Design |
ITICSE
2000
ACM
14 years 1 months ago
2000
ACM
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
ACE
2003
13 years 10 months ago
2003
We describe our experiences in setting up a new Computer Science department in an established University within the UK. We drew upon our experiences in teaching Computing in Austr...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
ESCIENCE
2006
IEEE
14 years 17 days ago
2006
IEEE
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...
SYNTHESE
2008
13 years 8 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...