Sciweavers

2181 search results - page 215 / 437
» Standard Software as Microworld
Sort
View
WWW
2005
ACM
16 years 1 months ago
Designing learning services: from content-based to activity-based learning systems
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
Pythagoras Karampiperis, Demetrios G. Sampson
102
Voted
WWW
2004
ACM
16 years 1 months ago
Digital repository interoperability: design, implementation and deployment of the ecl protocol and connecting middleware
This paper describes the design and implementation of the eduSource Communication Layer (ECL) protocol. ECL is one outcome of a pan-Canadian project called eduSource Canada to bui...
Ty Mey Eap, Marek Hatala, Griff Richards
103
Voted
WWW
2004
ACM
16 years 1 months ago
Compositional knowledge management for medical services on semantic web
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
Yugyung Lee, Chintan Patel, Soon Ae Chun, James Ge...
83
Voted
CHI
2005
ACM
16 years 1 months ago
How to make secure email easier to use
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...
Simson L. Garfinkel, David Margrave, Jeffrey I. Sc...
89
Voted
POPL
2010
ACM
15 years 10 months ago
Sequential Verification of Serializability
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
G. Ramalingam, Hagit Attiya, Noam Rinetzky