12774 search results - page 2415 / 2555 » A Framework for Proof Systems |
156
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes one solution to the problem of how to select sequence, and link Web resources into a coherent, focused organization for instruction that addresses a user'...
224
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
178
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
276
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
175
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...