145 search results - page 21 / 29 » Basic Proof Skills of Computer Science Students |
HCI
2007
13 years 9 months ago
2007
This paper presents a “persistent chat” extension to the ePresence Interactive Media webcasting infrastructure to support real-time commenting on and discussing of issues that ...
ACSE
2000
ACM
13 years 11 months ago
2000
ACM
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
ITICSE
2004
ACM
14 years 26 days ago
2004
ACM
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
RTA
2005
Springer
14 years 28 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and resea...