Sciweavers

11016 search results - page 624 / 2204
» Cloud Computing for Science
Sort
View
HOA
1993
15 years 11 months ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
SIGCSE
1994
ACM
150views Education» more  SIGCSE 1994»
15 years 11 months ago
Using literate programming to teach good programming practices
The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to encourage undergradua...
Stephen Shum, Curtis R. Cook
GI
2007
Springer
15 years 11 months ago
Agent-Based Container Security Systems: An Interdisciplinary Perspective
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
Sven Werner, Arne Schuldt, Kateryna Daschkovska
SIGCSE
2002
ACM
178views Education» more  SIGCSE 2002»
15 years 6 months ago
Making compiler design relevant for students who will (most likely) never design a compiler
Compiler Design courses are a common component of most modern Computer Science undergraduate curricula. At the same time, however, compiler design has become a highly specialized ...
Saumya K. Debray
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 7 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis