111 search results - page 7 / 23 » Sharing Is Caring: Combination of Theories |
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
ETS
2000
IEEE
14 years 11 months ago
2000
IEEE
This article discusses a telecollaborative activity that combines many strategies of interest in teacher education (i.e., case-based learning, online discussion, cross-university ...
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...
101
click to vote
CBMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Paper-based folders have been widely used to coordinate cares in medical-social networks, but they introduce some burning issues (e.g. privacy protection, remote access to the fol...
MM
2010
ACM
14 years 12 months ago
2010
ACM
In today's age of digital multimedia deluge, a clear understanding of the dynamics of online communities is capital. Users have abandoned their role of passive consumers and ...