137 search results - page 17 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
SSS
2010
Springer
13 years 6 months ago
2010
Springer
High availability is a critical feature for service clusters and cloud computing, and is often considered more valuable than performance. One commonly used technique to enhance the...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
To transplant the six characteristics of traditional collaborative learning into the network collaborative learning environment, this paper proposes the design of an Internet coll...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
CSIE
2009
IEEE
13 years 11 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...